Rollup merge of #62600 - emmericp:libtest-add-show-output, r=gnzlbg

libtest: add --show-output flag to print stdout of successful tests

This pull request adds a new flag `--show-output` for tests to show the output of successful tests. For most formatters this was already supported just not exposed via the CLI (apparently only used by `librustdoc`). I've also added support for this option in the JSON formatter.

This kind of fixes https://github.com/rust-lang/rust/issues/54669 which wants `--format json` to work with `--nocapture`, which is... well, impossible. What this issue really calls for is `--show-output` as implemented here.

Auto merge of #63926 - Centril:rollup-6kckn9n, r=Centril

Rollup of 6 pull requests

Successful merges:

 - #63317 (Do not complain about unused code when used in `impl` `Self` type)
 - #63693 (Fully implement or-pattern parsing)
 - #63836 (VxWorks does not provide a way to set the task name except at creation time)
 - #63845 (Removed a confusing FnOnce example)
 - #63855 (Refactor feature gates)
 - #63921 (add link to FileCheck docs)

Failed merges:

r? @ghost

Rollup merge of #63921 - RalfJung:file-check, r=alexcrichton

add link to FileCheck docs

Thanks @gnzlbg for pointing me to those docs.

Rollup merge of #63855 - killercup:refactor/feature-gates, r=Centril

Refactor feature gates

After #63824, this goes a few steps further by

- parsing doc comments in the macros to extract descriptions for feature gates, and
- introducing a common `Feature` type to replace the tuples used previously to improve readability.

The descriptions are not yet used, but I felt like this PR is a useful enough refactoring on its own.

r? @Centril

Rollup merge of #63845 - DevQps:47091-remove-bad-example, r=nikomatsakis

Removed a confusing FnOnce example

# Description
See #47091 for a discussion.

## Changes
- Removed an example that might suggest readers that square_x is (only) FnOnce.

closes #47091

Rollup merge of #63836 - Wind-River:master_003, r=alexcrichton

VxWorks does not provide a way to set the task name except at creation time

Make set_name do thing as VxWorks does not provide a way to set the task name except at creation time.

r? @alexcrichton

cc @n-salim

Rollup merge of #63693 - Centril:polish-parse-or-pats, r=estebank

Fully implement or-pattern parsing

Builds upon the initial parsing in https://github.com/rust-lang/rust/pull/61708 to fully implement or-pattern (`p | q`) parsing as specified in [the grammar section of RFC 2535](https://github.com/rust-lang/rfcs/blob/master/text/2535-or-patterns.md#grammar).

Noteworthy:

- We allow or-patterns in `[p | q, ...]`.
- We allow or-patterns in `let` statements and `for` expressions including with leading `|`.
- We improve recovery for `p || q` (+ tests for that in `multiple-pattern-typo.rs`).
- We improve recovery for `| p | q` in inner patterns (tests in `or-patterns-syntactic-fail.rs`).
- We rigorously test or-pattern parsing (in `or-patterns-syntactic-{pass,fail}.rs`).
- We harden the feature gating tests.
- We do **_not_** change `ast.rs`. That is, `ExprKind::Let.0` and `Arm.pats` still accept `Vec<P<Pat>>`.
   I was starting work on that but it would be cleaner to do this in a separate PR so this one has a narrower scope.

cc @dlrobertson
cc the tracking issue https://github.com/rust-lang/rust/issues/54883.

r? @estebank

Rollup merge of #63317 - estebank:dead-code, r=matthewjasper

Do not complain about unused code when used in `impl` `Self` type

Fix https://github.com/rust-lang/rust/issues/18290.

review comment

parser: fix span for leading vert.

add link to FileCheck docs

Auto merge of #63901 - estebank:unknown-receiver-type, r=zackmdavis

Point at method call on missing annotation error

Make it clearer where the type name that couldn't be inferred comes from.

Before:

```
error[E0282]: type annotations needed
 --> src/test/ui/span/type-annotations-needed-expr.rs:2:13
  |
2 |     let _ = (vec![1,2,3]).into_iter().sum() as f64; //~ ERROR E0282
  |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for `S`
  |
  = note: type must be known at this point
```
after
```
error[E0282]: type annotations needed
 --> src/test/ui/span/type-annotations-needed-expr.rs:2:39
  |
2 |     let _ = (vec![1,2,3]).into_iter().sum() as f64; //~ ERROR E0282
  |                                       ^^^ cannot infer type for `S`
  |
  = note: type must be known at this point
```

CC #63852.

Auto merge of #63897 - petrochenkov:prettycomma, r=estebank

pprust: Do not print spaces before some tokens

Fixes https://github.com/rust-lang/rust/issues/63896

r? @Mark-Simulacrum

Auto merge of #63580 - wesleywiser:move_promoted_out, r=oli-obk

Move promoted MIR out of `mir::Body`

r? @oli-obk

Auto merge of #62891 - vext01:improve-black-box-docs, r=RalfJung,Centril,gnzlbg

Improve the documentation for std::hint::black_box.

The other day a colleague was reviewing some of my code which was using `black_box` to block constant propogation. There was a little confusion because the documentation kind of implies that `black_box` is only useful for dead code elimination, and only in benchmarking scenarios.

The docs currently say:

> A function that is opaque to the optimizer, to allow benchmarks to pretend to use outputs to assist in avoiding dead-code elimination.

Here is our discussion, in which I show (using godbolt) that a black box can also block constant propagation:
https://github.com/softdevteam/yk/pull/21#discussion_r302985038

This change makes the docstring for `black_box` a little more general, and while we are here, I've added an example (the same one from our discussion).


OK to go in?

Auto merge of #62603 - cuviper:no-unwind-abort, r=joshtriplett

Permit unwinding through FFI by default

This repeats #62505 for master (Rust 1.38+), as #58794 is not yet resolved. This is a stopgap until a stable alternative is available, like [RFC 2699](https://github.com/rust-lang/rfcs/pull/2699), as long as progress is being made to that end.

r? @joshtriplett

Point at method call on missing annotation error

Make it clearer where the type name that couldn't be infered comes from.

Auto merge of #61613 - sinkuu:impl_trait_inline, r=ollie27

Support `impl Trait` in inlined documentation

`impl Trait` in argument position was not properly rendered when inlined from other crates. ([a live example on docs.rs](https://docs.rs/libp2p/0.8.1/libp2p/floodsub/struct.Floodsub.html#method.unsubscribe))

↓

Refactor feature gate checking code

Tries to clarify the filtering of active features and make the code more
expressive.

pprust: Do not print spaces before some tokens

Force #[unwind(aborts)] in test/codegen/c-variadic.rs

Revert "Allow a dirty MirBuilt for make_extern and make_method_extern"

This reverts commit b4a6f597934f16f89e27058a32a514c9572f148f.

Permit unwinding through FFI by default

See #58794 for context.

Auto merge of #63878 - phansch:update_clippy_submodule, r=Manishearth

submodules: update Clippy from 2bcb615 to 05f603e

changes: https://github.com/rust-lang/rust-clippy/compare/2bcb615...05f603e

Should fix the Clippy toolstate.

submodules: update clippy from 2bcb6155948e2f8b86db08152a5f54bd5af625e5 to 05f603e6cec63d0b2681a84d4a64a51bccac1624

Introduce and use `Feature` type for feature gates

This replaces the ad-hoc tuples used in the different feature gate files
and unifies their content into a common type, leading to more readable
matches and other good stuff that comes from having named fields. It
also contains the description of each feature as extracted from the doc
comment.

Auto merge of #63874 - spastorino:places-drive-by-cleanups, r=Centril

Places drive by cleanups

Small fixes of things meanwhile I was doing the box part of Place 2.0, based on @centril reviews.

Auto merge of #63862 - Centril:match-cleanup, r=oli-obk

typeck: refactor patterns => `pat.rs`  + make the `def_bm` algo more declarative

Spurred by the relative difficulty I had in working up an explanation of how default match bindings work in https://github.com/rust-lang/rust/pull/63118#issuecomment-524161584, this PR refactors the type checking of patterns into `pat.rs`.

The PR is probably best read commit-by-commit and includes various changes beyond the following, which are the most important highlights:

- The algorithm for determining `def_bm` is encoded in a more declarative fashion now with important sub-steps divided into functions that make sense as logical units (and as described in the reference). This is done starting with *"extract `is_no_ref_pat`."* to *"extract `calc_default_binding_mode`"*.

- Dedicated functions like `check_pat_{lit,range,ident,tuple,box,ref,slice}` are then introduced for the various kinds of patterns to make things overall more readable.

- `fn check_pat_top(...)` becomes the sole entry point to type checking patterns.

   This will take care of initializing the default binding mode (hence: `def_bm`) to `BindByValue` and is called by all contexts that have a pattern that needs to be type checked (functions, `match`, `if let`, `let`, ...). The overall result is that the notion of `def_bm` is internal to checking patterns.

- Various diagnostics are extracted to dedicated functions to disturb the flow of type checking logic less.

r? @oli-obk

parser: TopLevel -> RecoverComma.

or_patterns: add run-rustfix tests.

parser: gracefully handle `fn foo(A | B: type)`.

Add a period at the end of the sentence

Join arms patterns, body is empty in all arms

Allow lifetime parameters to be inferred

Auto merge of #63873 - Centril:rollup-jgglypd, r=Centril

Rollup of 6 pull requests

Successful merges:

 - #62744 (Refactor `TinyList::contains` and `len` to iterate instead of recurse)
 - #63813 (Do not suggest `.try_into()` on `i32::from(x)`)
 - #63833 (Suggest calling closure with resolved return type when appropriate)
 - #63839 (Ensure miri can do bit ops on pointer values)
 - #63854 (Modifies how Arg, Arm, Field, FieldPattern and Variant are visited)
 - #63859 (Don't unwrap the result of `span_to_snippet`)

Failed merges:

r? @ghost

Rollup merge of #63859 - matthewjasper:check-snippet-result, r=Centril

Don't unwrap the result of `span_to_snippet`

Closes #63800

Rollup merge of #63854 - c410-f3r:attrs-visit, r=petrochenkov

Modifies how Arg, Arm, Field, FieldPattern and Variant are visited

Part of the necessary work to accomplish #63468.

Rollup merge of #63839 - oli-obk:intptrcast, r=RalfJung

Ensure miri can do bit ops on pointer values

r? @RalfJung

Fixes https://github.com/rust-lang/miri/issues/916

Rollup merge of #63833 - estebank:suggest-closure-call, r=petrochenkov

Suggest calling closure with resolved return type when appropriate

Follow up to #63337. CC #63100.

```
error[E0308]: mismatched types
  --> $DIR/fn-or-tuple-struct-without-args.rs:46:20
   |
LL |     let closure = || 42;
   |                   -- closure defined here
LL |     let _: usize = closure;
   |                    ^^^^^^^
   |                    |
   |                    expected usize, found closure
   |                    help: use parentheses to call this closure: `closure()`
   |
   = note: expected type `usize`
              found type `[closure@$DIR/fn-or-tuple-struct-without-args.rs:45:19: 45:24]`
```

Rollup merge of #63813 - estebank:int-from, r=varkor

Do not suggest `.try_into()` on `i32::from(x)`

Fix #63697.

Rollup merge of #62744 - llogiq:tiny-list-refactor, r=eddyb

Refactor `TinyList::contains` and `len` to iterate instead of recurse

None

parser: 'while parsing this or-pattern...'

parser: simplify parse_pat_with_or_{inner}

typeck/pat.rs: dedup in `check_pat_box`.

typeck/pat.rs: dedup in `check_pat_ref`.

review comment

parser: reword || recovery.

parser: extract recover_inner_leading_vert.

parse_top_pat: silence leading vert gating sometimes.

parser: bool -> TopLevel.

parser: bool -> GateOr.

parser: better recovery for || in inner pats.

or-patterns: harden feature gating tests.

move `feature-gate-or_patterns.*` -> `ui/or-patterns/`

or-patterns: add syntactic tests.

move `ui/or-pattern-mismatch` -> `ui/or-patterns/`.

parser: drive-by: simplify `parse_arg_general`.

parser: `let` stmts & `for` exprs: allow or-patterns.

parser: document `parse_pat`.

parser: `parse_pats` -> `parse_top_pat{_unpack}`.

parser: document `ban_unexpected_or_or`.

parser: move `maybe_recover_unexpected_comma` to a more appropriate place.

parser: use `eat_or_separator` for leading vert.

parser: improve `parse_pat_with_or` docs.

parser: extract `eat_or_separator`.

parser: integrate `maybe_recover_unexpected_comma` in `parse_pat_with_or`.

parser: extract `maybe_recover_unexpected_comma`.

parser: simplify `parse_pat_with_or`.

parser: `multiple-pattern-typo`: cover more or-pattern places.

parser: move `multiple-pattern-typo` -> `or-patterns` directory.

parser: improve or-patterns recovery.

parser: refactor `parse_pat_with_or` + use it in [p0, p1, ..] pats.

parser: type alias `type Expected = Option<&'static str>;`.

parser: extract `ban_unexpected_or_or`.

Improve the documentation for std::hint::black_box.

typeck/pat.rs: extract `error_inexistent_fields`.

typeck/pat.rs: extract `error_unmentioned_fields`.

typeck/pat.rs: extract `error_field_already_bound`.

typeck/pat.rs: extract diagnostics from `check_pat_slice`.

typeck/pat.rs: extract `new_ref_ty`.

typeck/pat.rs: some common imports.

typeck/pat.rs: `check_pat_walk` -> `check_pat`.

It's just shorter and we usually don't use the `_walk` suffix.

typeck/pat.rs: `check_pat_top` is the entry point.

This clarifies the fact that type checking patterns unconditionally
starts with `BindByValue` as the default binding mode making the
notion of a default binding mode internal to type checking patterns.

Auto merge of #63858 - matthiaskrgr:submodule_upd, r=oli-obk

submodules: update clippy from cd3df6be to 2bcb6155

Changes:
````
Refactor some minor things
Use more if-chains
Refactor 'lint_or_fun_call'
Refactor 'check_unwrap_or_default'
Refactor 'check_impl_item'
Add missing field to LitKind::Str
Run update_lints for Unicode lint
Re-add false positive check
Add raw string regression test for useless_format lint
Re-factor useless_format lint
Update Unicode lint tests
Add two more tests, allow 2 other lints.
Fix `temporary_cstring_as_ptr` false negative
Add more testcases for redundant_pattern_matching
Fix suggestions for redundant_pattern_matching
Add note on how to find the latest beta commit
Remove feature gate for async_await
Update if_chain doc link
Requested test cleanup
Requested changes
Ignore lines starting with '#'
run-rustfix for unseparated-prefix-literals
Add autofixable suggestion for unseparated integer literal suffices
Further text improvements
Add image
docs: Explain how to update the changelog
````

r? @oli-obk  @Manishearth

Don't unwrap the result of `span_to_snippet`

It can return `Err` due to macros being expanded across crates or
files.

typeck/pat.rs: `(*)` -> `(note_1)` for clarity.

typeck/pat.rs: simplify `check_pat_walk`.

typeck/pat.rs: extract `check_pat_slice`.

typeck/pat.rs: extract `check_pat_ref`.

typeck/pat.rs: extract `check_pat_box`.

typeck/pat.rs: extract `check_pat_tuple`.

typeck/pat.rs: extract `check_pat_ident`.

typeck/pat.rs: extract `check_pat_range`.

typeck/pat.rs: extract `check_pat_lit`.

typeck/pat.rs: extract `calc_default_binding_mode`.

typeck/pat.rs: simplify `peel_off_references`.

typeck/pat.rs: extract `peel_off_references` and define `def_bm` algorithm more declaratively.

typeck/pat.rs: extract `is_non_ref_pat`.

typeck/pat.rs: move note out of `check_dereferenceable` as it angers VSCode.

typeck: move `check_pat_walk` and children to `pat.rs`.