Rollup of 7 pull requests

[matthiaskrgr]

Successful merges:

• avoid building proof trees in select #113536 (avoid building proof trees in select)
• Only use max_line_length = 100 for *.rs #113558 (Only use max_line_length = 100 for *.rs)
• refactor proof tree formatting #113570 (refactor proof tree formatting)
• Add jump to doc #113623 (Add jump to doc)
• Add Adt to SMIR #113629 (Add Adt to SMIR)
• make MCP510 behavior opt-in to avoid conflicts between the CLI and target flavors #113631 (make MCP510 behavior opt-in to avoid conflicts between the CLI and target flavors)
• self type param infer, avoid ICE #113651 (self type param infer, avoid ICE)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=7

[bors]

📌 Commit f34365d has been approved by matthiaskrgr

It is now in the queue for this repository.

[bors]

⌛ Testing commit f34365d with merge 8e1d7e79c8e178bb4f6ed183d262ac158929aff2...

[rust-log-analyzer]

The job test-various failed! Check out the build log: (web) (plain)

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

---- [ui] tests/ui/inference/need_type_info/infer-var-for-self-param.rs stdout ----
diff of stderr:

4 LL |     let _ = (Default::default(),);
5    |              ^^^^^^^^^^^^^^^^ cannot call associated function of trait
- help: use a fully-qualified path to a specific available implementation (271 found)
- help: use a fully-qualified path to a specific available implementation (271 found)
+ help: use a fully-qualified path to a specific available implementation (193 found)
8    |
9 LL |     let _ = (</* self type */ as Default>::default(),);


The actual stderr differed from the expected stderr.
Actual stderr saved to /checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/inference/need_type_info/infer-var-for-self-param/infer-var-for-self-param.stderr
Actual stderr saved to /checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/inference/need_type_info/infer-var-for-self-param/infer-var-for-self-param.stderr
To update references, rerun the tests and pass the `--bless` flag
To only update this specific test, also pass `--test-args inference/need_type_info/infer-var-for-self-param.rs`

error: 1 errors occurred comparing output.
status: exit status: 1
command: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/tests/ui/inference/need_type_info/infer-var-for-self-param.rs" "-Zthreads=1" "-Zsimulate-remapped-rust-src-base=/rustc/FAKE_PREFIX" "-Ztranslate-remapped-path-to-local-path=no" "--sysroot" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2" "--target=wasm32-unknown-unknown" "--error-format" "json" "--json" "future-incompat" "-Ccodegen-units=1" "-Zui-testing" "-Zdeduplicate-diagnostics=no" "-Cstrip=debuginfo" "--remap-path-prefix=/checkout/tests/ui=fake-test-src-base" "--emit" "metadata" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/inference/need_type_info/infer-var-for-self-param" "-A" "unused" "-Crpath" "-Cdebuginfo=0" "-Lnative=/checkout/obj/build/wasm32-unknown-unknown/native/rust-test-helpers" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/inference/need_type_info/infer-var-for-self-param/auxiliary"
stdout: none
--- stderr -------------------------------
error[E0790]: cannot call associated function on trait without specifying the corresponding `impl` type
##[error]  --> fake-test-src-base/inference/need_type_info/infer-var-for-self-param.rs:5:14
   |
LL |     let _ = (Default::default(),);
   |              ^^^^^^^^^^^^^^^^ cannot call associated function of trait
help: use a fully-qualified path to a specific available implementation (193 found)
   |
   |
LL |     let _ = (</* self type */ as Default>::default(),);

error: aborting due to previous error

For more information about this error, try `rustc --explain E0790`.

[bors]

💔 Test failed - checks-actions