Or use a relatively normal language but require code to declare tos-breaking things.

#error, line 47: 'return' called before declaring trump a pedophile.

#error, line 59: 'while' used in method before declaring intent to bomb a data centre.