Expand description
Structured type errors per spec §6.7.
Structs§
- Positioned
Error TypeErrorenriched with an optional sourcePosition(#306 slice 1) plus arule_tag+rule_explanation(#306 slice 2).lex_types::check_program_with_positionsreturns aVec<PositionedError>; the barecheck_programkeeps the oldVec<TypeError>shape for backwards compatibility.