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 compile

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:”