[jitl]

These style issues are trivial to enforce at commit time (pre-commit hook) and build time with a linter. It’s easy to enforce the order you desire upon your developers.

[dilap]

does such a linter actually exist, or is this the mathematicians trivial, "it is not required to discover something new to do it"?