Code

Normalize opaques w/ bound vars#100980

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:normalize-opaque-w-bound-varscompiler-errors/rust:normalize-opaque-w-bound-varsCopy head branch name to clipboard

Sep 22, 2022

Commits

Commits on Sep 22, 2022

• Normalize opaques with escaping bound vars

  compiler-errors

  committed
  43119d6

  Copy full SHA for 43119d6

• Optimize subtyping and equation of GeneratorWitness

  compiler-errors

  committed
  d018144

  Copy full SHA for d018144

• Comment, and bail early if bound vars list differs

  compiler-errors

  committed
  02ad984

  Copy full SHA for 02ad984

• Normalize generator interior type before erasing

  compiler-errors

  committed
  3fc328d

  Copy full SHA for 3fc328d