@skaalf I was thinking a bit more about your logging suggestion. Do you think we could put some logic to print the test results in a `finalize()` method of an object we create, rely on that object existing until the end of compilation, and then being garbage-collected?
Yes, and there's the question of which object... We would need to smuggle a reference into some object in the compiler which is guaranteed to outlive the typer, but also guaranteed to be garbage-collected before the end of compilation.
. No idea if it would actually work thought.