Repository navigation

HIR "Eager Type Inference" / Expectations dev guide page - #2924

Open

fallible-algebra wants to merge 13 commits into

rust-lang:mainfrom

fallible-algebra:types-overhaul/hir-tyck

Open

HIR "Eager Type Inference" / Expectations dev guide page#2924
fallible-algebra wants to merge 13 commits into
rust-lang:mainfrom
fallible-algebra:types-overhaul/hir-tyck

Commits on Oct 12, 2026
- empty file
  fallible-algebra
  committed
  af98e28
- Some expectations writeup
  fallible-algebra
  committed
  b426605
- Some assertions, mostly blank space
  fallible-algebra
  committed
  f502a68
- More sketching
  fallible-algebra
  committed
  9736afb
- Add a bunch of wrong stuff to check later
  fallible-algebra
  committed
  808e1d3
- Can't keep fussing over this
  fallible-algebra
  committed
  2f8e2f0
- Link to HRIV
  fallible-algebra
  committed
  f7156a2
- Re-frame around eager type inference rather than expectations specifically
  fallible-algebra
  committed
  780b6f6
- Some rewording
  fallible-algebra
  committed
  273aae6
- Pushing for review purposes
  fallible-algebra
  committed
  4a158b8
- Current state of inference structure etc.
  fallible-algebra
  committed
  1e92fe6
- Major editing pass
  fallible-algebra
  committed
  4b397b0
- Small editing pass
  fallible-algebra
  committed
  01c6ba3