Internal debug mode in compiler vs external usage

[andrew-johnson-4]

With internal debugging compiler should give out-of-normal types in error messages.

Without debugging, compiler should give normal types in error messages.

I think this is the most sane way of moving forward? idk.

[alex-s168]

out of normal shows all types known right?
in that case, isn't out of normal form useful for normal programmers too?

[andrew-johnson-4]

you can enable out-of-normal with a "--debug-internal" mode, which is what I will use. However, normal programmers should not need it. If normal/denormal fails from a user standpoint, then that is a compiler internal bug.

Short story: we have lots of compiler internal bugs.