Repository navigation

In-compiler invariants (check-invariants.patch, rustc-verify13) and invariant-sweep; findings 56-57 - #41

Merged

zmaril merged 1 commit into

mainfrom

mirth/invariants

Oct 10, 2026

Commits on Oct 10, 2026
- In-compiler invariants: check-invariants.patch (RUSTC_CHECK_INVARIANTS: query results without inference variables, no error types in an error-free compile, symbols distinct from upstream exports, m…
  
  zmaril
  and
  claude
  committed
  48284f7