Invalid Boxed displayed when constructor present in let binding

[isdiemer]

When a constructor pattern is in the "name" of a let binding, the display on hazel breaks. Minimal Reproduction:

[cyrus-]

This also happens with case when there is (or in this case, there should be) an error on the pattern:

[cyrus-]

@Negabinary adding this to your stack

[cyrus-]

seems to still be happening @Negabinary

[Negabinary]

Oh interesting, I guess this is a result of us using the same logic for typing pattern constructors and expression constructors:

If you see a constructor on its own in an expression, it could either be a function or an atomic constructor. If you see a constructor on its own in a pattern, however, it must be an atomic constructor.

I'm guessing it's currently assigning the B pattern a function type, but maybe since it's in a pattern, we should just give it a unknown sum type.