E0001 · Type · error

Type mismatch (legacy)

Equivalent to `TE001`. Emitted by the legacy message-pattern classifier when the new typeck did not attach a code.

A full explainer for this code hasn't been written yet. The summary above is the current authoritative description.

Want to contribute? Add docs/errors/<code>.md in the repo and the page will pick it up automatically.

See also