Which language did you mean? Also in any case wouldn't that be IDE issue. I used Python and I noticed over the years that things like type interference drastic

Which language did you mean? Also in any case wouldn't that be IDE issue. I used Python and I noticed over the years that things like type interference drastically improved. Similarly type checker in Rust extension for IntelliJ was lacking even though Rust has superior type system.