Code

Rollup of 3 pull requests#124589

Code

Closed

matthiaskrgr wants to merge 7 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-w11p0msmatthiaskrgr/rust:rollup-w11p0msCopy head branch name to clipboard

+346-380

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

• Rewrite select to use a ProofTreeVisitor

  compiler-errors

  committed
  6760051

  Copy full SHA for 6760051

• Rollup merge of rust-lang#124529 - compiler-errors:select, r=lcnr

  Show description for 0e6bafd
  matthiaskrgr

  authored
  0e6bafd

  Copy full SHA for 0e6bafd

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

  Show description for 13cd193
  matthiaskrgr

  authored
  13cd193

  Copy full SHA for 13cd193

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

  Show description for e5b6bb3
  matthiaskrgr

  authored
  e5b6bb3

  Copy full SHA for e5b6bb3