Code

Implement new effects desugaring#120639

Code

Merged

bors merged 10 commits intorust-lang:masterrust-lang/rust:masterfrom fee1-dead-contrib:new-effects-desugaringfee1-dead-contrib/rust:new-effects-desugaringCopy head branch name to clipboardJun 29, 2024

+2,225-1,567

Commits

Commits on Jun 28, 2024

• implement new effects desugaring

  fee1-dead

  committed
  72e8244

  Copy full SHA for 72e8244

• Implement Min trait in new solver

  fee1-dead

  committed
  c7d27a1

  Copy full SHA for c7d27a1

• move desugaring to item bounds

  fee1-dead

  committed
  3637b15

  Copy full SHA for 3637b15

• temporarily disable effects on specialization tests

  fee1-dead

  committed
  74e7b5b

  Copy full SHA for 74e7b5b

• bless tests part 1

  fee1-dead

  committed
  b9886c6

  Copy full SHA for b9886c6

• Implement Self::Effects: Compat<HOST> desugaring

  fee1-dead

  committed
  f852a2c

  Copy full SHA for f852a2c

• bless UI tests

  fee1-dead

  committed
  373e906

  Copy full SHA for 373e906

• general fixups and turn TODOs into FIXMEs

  fee1-dead

  committed
  0a23306

  Copy full SHA for 0a23306

• finishing touches, move fixed ICEs to ui tests

  fee1-dead

  committed
  8b2fac9

  Copy full SHA for 8b2fac9

• address review comments

  fee1-dead

  committed
  65a0bee

  Copy full SHA for 65a0bee