Code

fix NormalizesTo proof tree issue#124566

Code

Merged

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

lcnr:normalizes-to-proof-treelcnr/rust:normalizes-to-proof-treeCopy head branch name to clipboard

May 1, 2024

Commits

Commits on Apr 30, 2024

• fix `NormalizesTo` proof tree issue

  lcnr

  committed
  da969d4

  Copy full SHA for da969d4

Commits on May 1, 2024

• review

  lcnr

  committed
  f323f9d

  Copy full SHA for f323f9d