Why aren't function attributes inferred?

[Sean Eskapp]

Since the compiler can clearly tell when a function is not const, safe, pure,
or nothrow, why can't they just be assumed, unless proven otherwise?