Yes! And local "var". The optimizations that "var" allows should be the job of the compiler. It's still needed at the non-local level on reference types, but

Yes! And local "var". The optimizations that "var" allows should be the job of the compiler. It's still needed at the non-local level on reference types, but could possibly be disallowed in structs as well.