Mmm, great that the tests all pass, but can't help but feel like we should actually have some test baselines for this. Can you add the test case you wrote up to test/cases/compiler and baseline that?

// @pretty: true
inside the test with an error should be enough to make the pretty output to be captured in the baseline 😉

All CLA requirements met.

Okay, added the test and baselines - do I check in all the baselines including the symbols for example?

Yeah. Type and symbol baselines are currently mandatory for all compiler tests, even if they're not critical to testing the issue.