mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-28 08:57:13 +00:00
01f2a15420
Rarranging the substration and equality check into an addition and an equality check is sufficient. Algebra is cool, isn't it? Co-authored-by: Michael Goulet <michael@errs.io>
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.