Or, as a compromise, perhaps the compiler can auto-infer most of the attributes without any further effort from the user.No, that has API design issues. You can silently break a guarantee you made previously.
What's wrong with auto-inference. Inferred attributes are only strengthening guarantees.
