In this instance, it is the mutant which is not compliant with the guidelines and so would not be captured by these checks.
Errors which are noncompliant with design methods would be detected at design time.