Code

update new trait solver docs#1802

Code

Merged

spastorino merged 4 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

lcnr:type-system-invariantslcnr/rustc-dev-guide:type-system-invariantsCopy head branch name to clipboard

Oct 5, 2023

Commits

Commits on Oct 4, 2023

• rewrite requirements/invariants

  lcnr

  committed
  43b956e

  Copy full SHA for 43b956e

Commits on Oct 5, 2023

• add some more info about the trait solver

  lcnr

  committed
  5db15a6

  Copy full SHA for 5db15a6

• CI

  lcnr

  committed
  4c5af30

  Copy full SHA for 4c5af30

• review

  lcnr

  committed
  3276c64

  Copy full SHA for 3276c64