Given that correctness can depend on getting these “hints” right (including if more forms of the attr are added later and newer code encounters an older rustc), I think I agree.