[compiler v2][type checker] Make arithmetic operators generic with constraints#9792

Merged

wrwg merged 3 commits intomainfrom wg-ints

Sep 1, 2023

+1,303-2,338

Commits on Aug 31, 2023

[compiler v2][type checker] Make arithmetic operators generic with constraints
wrwg
committed
Addressing reviewer comments.
wrwg
committed
Addressing more reviewer comments. This revamps the generation of error messages, removing some older broken heuristics and trying to fix the problem of orientation of 'expected' vs 'found' at the …
wrwg
committed