Missing Static Error For Free Constructor when used in Application

[GuoDCZ]

Expect free constructor to raise

• ABCDEF not found

We got

• A equals to expected type.

tested on dev 4037935

This message is shown when:

let common_ok_view = (cls: Cls.t, ok: Info.ok_pat) => {
  switch (cls, ok) {
...
  | (_, Ana(Consistent({ana, syn, _}))) when ana == syn => [
      text(":"),
      Type.view(syn),
      text("equals expected type"),
    ]

[cyrus-]

@GuoDCZ could you try to see if you can find a fix for this issue?