This kind of pattern indicates that the underlying language has inadequate metaprogramming facilities. You should be able to robustly verify certain guarantees

This kind of pattern indicates that the underlying language has inadequate metaprogramming facilities. You should be able to robustly verify certain guarantees via the type system instead of relying on a specific code formatting convention to do it.