Code

Rollup of 2 pull requests#124590

Code

Merged

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

matthiaskrgr:rollup-091hpnpmatthiaskrgr/rust:rollup-091hpnpCopy head branch name to clipboard

May 1, 2024

Commits

Commits on Apr 29, 2024

• Add diagnostic item for std::iter::Iterator::enumerate

  CBSpeir

  committed
  c8079e9

  Copy full SHA for c8079e9

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

• Rollup merge of #124542 - CBSpeir:diagnostic-item-enumerate-method, r=scottmcm

  Show description for 38cbad9
  matthiaskrgr

  authored
  38cbad9

  Copy full SHA for 38cbad9

• Rollup merge of #124566 - lcnr:normalizes-to-proof-tree, r=compiler-errors

  Show description for 0dbe07f
  matthiaskrgr

  authored
  0dbe07f

  Copy full SHA for 0dbe07f