Code

add a new type system invariant#1822

Code

Merged

compiler-errors merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom lcnr:normalize-new-solverlcnr/rustc-dev-guide:normalize-new-solverCopy head branch name to clipboardNov 6, 2023

+10-1

Commits

Commits on Nov 6, 2023

• add a new type system invariant

  lcnr

  committed
  caadabb