> Compiling and working code" does not mean it's valid or acceptable code. In safe Rust and Scala it means it is valid, modulo bugs in the compiler, which are

> Compiling and working code" does not mean it's valid or acceptable code. In safe Rust and Scala it means it is valid, modulo bugs in the compiler, which are rare. Also I'm really talking about code that is obviously ok - e.g. there exists a function on given type, yet idea fails to see it. > do you actually have any concrete example? In both of my Rust projects, which are pretty tiny (<5k loc) there are a few instances of good code red issues or fragments where the type inference gave up (no error flagged, but also no autocomplete). Will report those. I reported plenty of such issues earlier to the Scala plugin, and got tired a bit.