fails to produce error message when a type argument must be a record but isn't

[lue-bird]

type alias T a =
    { a | field : () }

a : T ()
a =
    { field = () }

elm responds

Something is off with the body of the a definition:

4| a = { field = () }
       ^^^^^^^^^^^^^^

The body is a record of type:

   elm: Used toErrorType on a type that is not well-formed
CallStack (from HasCallStack):
 error, called at compiler/src/Type/Type.hs:541:21 in main:Type.Type

This happens for T with any type that isn't a record (T Bool, T Int, T String, ...).

• Elm 0.19.1
• Operating System: Ubuntu 20.04.2 LTS
• used elm repl

[github-actions[bot]]

Thanks for reporting this! To set expectations:

• Issues are reviewed in batches, so it can take some time to get a response.
• Ask questions in a community forum. You will get an answer quicker that way!
• If you experience something similar, open a new issue. We like duplicates.

Finally, please be patient with the core team. They are trying their best with limited resources.

[lue-bird]

https://github.com/elm/compiler/issues/2200 could be related

[lue-bird]

It's the same issue as https://github.com/elm/compiler/issues/1952

[lue-bird]

Also the same issue as https://github.com/elm/compiler/issues/1896

[lue-bird]

Merged into https://github.com/elm/compiler/issues/2200