Make these typechecker tests run in the optimised way too
The coercion optimiser is stressed by optimisation. I don't think this will slow down the test runs much
Please register or sign in to comment
The coercion optimiser is stressed by optimisation. I don't think this will slow down the test runs much