Repository navigation

Fixed point 2.0 - #439

Merged

nikomatsakis merged 5 commits into

rust-lang:mainfrom

nikomatsakis:fixed-point-2.0

Oct 25, 2026

Merged

Fixed point 2.0#439
nikomatsakis merged 5 commits into
rust-lang:mainfrom
nikomatsakis:fixed-point-2.0

Commits on Oct 16, 2026
- Compute recursive judgments to a value fixed point
  nikomatsakis
  committed
  0643502
- Remove obsolete generic fixed-point support
  nikomatsakis
  committed
  9546141
- Memoize completed results within one root call
  nikomatsakis
  committed
  7a42e90
- Exhaustively validate root-scoped judgment memoization
  nikomatsakis
  committed
  5d03e7d
- Document judgment fixed points and share immutable proof nodes
  nikomatsakis
  committed
  c42d0b4