Code

add a normalizes-to fast path#125334

Code

Open

lcnr wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:normalizes-to-rigid-fastpathlcnr/rust:normalizes-to-rigid-fastpathCopy head branch name to clipboard

+180-66

Commits

Commits on May 21, 2024

• add a normalizes-to fast path

  lcnr

  committed
  cff9321

• add fixme :(

  lcnr

  committed
  2322dff