Indeed. I think we’ve gotten a lot closer in the past few years though (after wanting this for almost 20 years without progress). Rust’s language service (opti

Indeed. I think we’ve gotten a lot closer in the past few years though (after wanting this for almost 20 years without progress). Rust’s language service (optionally) adds phantom code to several modern editors, showing inferred types in the editor, that aren’t really part of the source code. That is very nearly the same thing...