As they should, of course. And this is no different from the annotations that started this conversation, other than that one is enforced by the compiler ... but you never mentioned that.

I won't comment further.