Code

[beta] backport#109033

Code

Merged

bors merged 10 commits intorust-lang:betarust-lang/rust:betafrom

Mark-Simulacrum:beta-backportMark-Simulacrum/rust:beta-backportCopy head branch name to clipboard

Mar 17, 2023

Commits

Commits on Mar 11, 2023

• Bump to released stable

  Mark-Simulacrum

  committed
  31a9380

  Copy full SHA for 31a9380

• fix: evaluate with wrong obligation stack

  

  LYF1999

  authored and

  Mark-Simulacrum

  committed
  42cebe2

  Copy full SHA for 42cebe2

• Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguous

  

  compiler-errors

  authored and

  Mark-Simulacrum

  committed
  47f222f

  Copy full SHA for 47f222f

• add known-bug tests

  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  c44042d

  Copy full SHA for c44042d

• promote subject even if it has unnamed regions

  Show description for 668ae05
  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  668ae05

  Copy full SHA for 668ae05

• smarter algorithm for finding an equal region

  Show description for 7dae2cb
  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  7dae2cb

  Copy full SHA for 7dae2cb

• ignore bivariant regions in opaque types

  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  8aa48af

  Copy full SHA for 8aa48af

• tweak ClosureOutlivesSubjectTy

  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  fa86098

  Copy full SHA for fa86098

• tweak debug output and bless tests

  

  aliemjay

  authored and

  Mark-Simulacrum

  committed
  7bb904b

  Copy full SHA for 7bb904b

Commits on Mar 16, 2023

• ci: use `apt install --download-only` for solaris debs

  

  cuviper

  authored and

  Mark-Simulacrum

  committed
  a9f609f

  Copy full SHA for a9f609f