> ability to read code and locally easily reason about types only gets more critical as the application gets more architecture or performance dependent Exactly

> ability to read code and locally easily reason about types only gets more critical as the application gets more architecture or performance dependent Exactly! And using auto for variables with very limited scope where the type is obvious effortlessly does not negatively affect the ability to read code and in my opinion improves the ability to read code.