Why have features but then the compiler doesn’t make programs that enforce it…

I’m seeing a lot of this in the docs:

“However, just like for const the compiler might not detect whether the annotation is correct or not! This program might compile, but will behave strangely:”