Code

fix ICE on type error in promoted#134010

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:promoted-type-error-iceRalfJung/rust:promoted-type-error-iceCopy head branch name to clipboard

Dec 10, 2024

Commits

Commits on Dec 9, 2024

• fix ICE on type error in promoted

  RalfJung

  committed
  ed8ee39

  Copy full SHA for ed8ee39