Fortunately my compiler writes a large number of unit tests for me, that run at compile time! I call it the "typechecker".