It shouldn't require a fancy forward-lookup-capable editor / language-server to show type. That is the point I am trying to make var/declare x; 25 lines later

It shouldn't require a fancy forward-lookup-capable editor / language-server to show type. That is the point I am trying to make var/declare x; 25 lines later call f(x); // ** Reader has no idea what x is ... even though compiler has ** 25 lines later if (....) x = "world" // infer type as string - this is bad