> The downside is that it makes it slightly harder to read code outside of an IDE.

If that’s how you feel about auto, wait until you see something like rust’s post-facto type inference.