Rollup of 3 pull requests

[matthiaskrgr]

Successful merges:

• Rewrite select (in the new solver) to use a ProofTreeVisitor #124529 (Rewrite select (in the new solver) to use a ProofTreeVisitor)
• Add diagnostic item for std::iter::Iterator::enumerate #124542 (Add diagnostic item for std::iter::Iterator::enumerate)
• fix NormalizesTo proof tree issue #124566 (fix NormalizesTo proof tree issue)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=3

[bors]

📌 Commit e5b6bb3 has been approved by matthiaskrgr

It is now in the queue for this repository.

[rust-log-analyzer]

The job x86_64-gnu-llvm-17 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

#16 exporting to docker image format
#16 sending tarball 30.2s done
#16 DONE 36.6s
##[endgroup]
Setting extra environment values for docker:  --env ENABLE_GCC_CODEGEN=1 --env GCC_EXEC_PREFIX=/usr/lib/gcc/
[CI_JOB_NAME=x86_64-gnu-llvm-17]
---
sccache: Starting the server...
##[group]Configure the build
configure: processing command line
configure: 
configure: build.configure-args := ['--build=x86_64-unknown-linux-gnu', '--llvm-root=/usr/lib/llvm-17', '--enable-llvm-link-shared', '--set', 'rust.thin-lto-import-instr-limit=10', '--set', 'change-id=99999999', '--enable-verbose-configure', '--enable-sccache', '--disable-manage-submodules', '--enable-locked-deps', '--enable-cargo-native-static', '--set', 'rust.codegen-units-std=1', '--set', 'dist.compression-profile=balanced', '--dist-compression-formats=xz', '--disable-dist-src', '--release-channel=nightly', '--enable-debug-assertions', '--enable-overflow-checks', '--enable-llvm-assertions', '--set', 'rust.verify-llvm-ir', '--set', 'rust.codegen-backends=llvm,cranelift,gcc', '--set', 'llvm.static-libstdcpp', '--enable-new-symbol-mangling']
configure: target.x86_64-unknown-linux-gnu.llvm-config := /usr/lib/llvm-17/bin/llvm-config
configure: llvm.link-shared     := True
configure: rust.thin-lto-import-instr-limit := 10
configure: change-id            := 99999999
---
---- [ui] tests/ui/traits/dyn-any-prefer-vtable.rs#next stdout ----

error in revision `next`: test run failed!
status: exit status: 101
command: cd "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/dyn-any-prefer-vtable.next" && RUST_TEST_THREADS="16" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/traits/dyn-any-prefer-vtable.next/a"
--- stderr -------------------------------
thread 'main' panicked at /checkout/tests/ui/traits/dyn-any-prefer-vtable.rs:8:5:
assertion `left == right` failed
assertion `left == right` failed
  left: TypeId { t: (13376210706840161842, 11589655474880237118) }
 right: TypeId { t: (6255172110400608400, 5817408772836814867) }
------------------------------------------

[bors]

⌛ Testing commit e5b6bb3 with merge 32a4713...