Alternativ, eben, wie hier ursprünglich "gewünscht", dass der Entwickler es einfach manuell setzt.
Wenn der Code dann doch keine
Exception auslöst, dass ist es einfach ein Fehler.
So als Option an die Deklaration.
Attribute oder eben so wie inline/virtual/abstract/cdecl/...