Code

finish trait solver skeleton work#106718

Code

Merged

bors merged 7 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:solver-cycleslcnr/rust:solver-cyclesCopy head branch name to clipboardJan 18, 2023

+916-644

Commits

Commits on Jan 18, 2023

• update cache

  lcnr

  committed
  b738b06

  Copy full SHA for b738b06

• instantiate canonical vars eagerly

  lcnr

  committed
  bf7dbff

  Copy full SHA for bf7dbff

• remove assembly context and impl a bit more

  lcnr

  committed
  660c283

  Copy full SHA for 660c283

• add eq to InferCtxtExt

  lcnr

  committed
  9a757d6

  Copy full SHA for 9a757d6

• update project to emulate a projection cache

  lcnr

  committed
  31ac29d

  Copy full SHA for 31ac29d

• add note about indirect cycles

  lcnr

  committed
  415aa66

  Copy full SHA for 415aa66

• add comment

  lcnr

  committed
  369f9aa

  Copy full SHA for 369f9aa