The guarantee isn't supposed to be useful to the programmer. It's the other way around: the programmer is giving the guarantee to the compiler.
It's kind of like declaring a variable private: the programmer is putting a constraint on him/herself.
2 Likes