Rollup merge of #105642 - uberFoo:master, r=Dylan-DPC

Minor grammar nit.

I was browsing the documentation and noticed that this should be an adverb.

Auto merge of #105221 - alex:fat-archive-cleanup, r=bjorn3

Avoid a temporary file when processing macOS fat archives

r? `@bjorn3`

Auto merge of #104875 - chenyukang:yukang/fix-104867-inc, r=estebank

Properly handle postfix inc/dec in standalone and subexpr scenarios

Fixes #104867
r? `@estebank`

Auto merge of #104986 - compiler-errors:opaques, r=oli-obk

Combine `ty::Projection` and `ty::Opaque` into `ty::Alias`

Implements https://github.com/rust-lang/types-team/issues/79.

This PR consolidates `ty::Projection` and `ty::Opaque` into a single `ty::Alias`, with an `AliasKind` and `AliasTy` type (renamed from `ty::ProjectionTy`, which is the inner data of `ty::Projection`) defined as so:

```
enum AliasKind {
  Projection,
  Opaque,
}

struct AliasTy<'tcx> {
  def_id: DefId,
  substs: SubstsRef<'tcx>,
}
```

Since we don't have access to `TyCtxt` in type flags computation, and because repeatedly calling `DefKind` on the def-id is expensive, these two types are distinguished with `ty::AliasKind`, conveniently glob-imported into `ty::{Projection, Opaque}`. For example:

```diff
  match ty.kind() {
-   ty::Opaque(..) =>
+   ty::Alias(ty::Opaque, ..) => {}
    _ => {}
  }
```

This PR also consolidates match arms that treated `ty::Opaque` and `ty::Projection` identically.

r? `@ghost`

Auto merge of #105667 - matthiaskrgr:rollup-fexlc0b, r=matthiaskrgr

Rollup of 7 pull requests

Successful merges:

 - #105147 (Allow unsafe through inline const)
 - #105438 (Move some codegen-y methods from `rustc_hir_analysis::collect` -> `rustc_codegen_ssa`)
 - #105464 (Support #[track_caller] on async closures)
 - #105476 (Change pattern borrowing suggestions to be verbose and remove invalid suggestion)
 - #105500 (Make some diagnostics not depend on the source of what they reference being available)
 - #105628 (Small doc fixes)
 - #105659 (Don't require owned data in `MaybeStorageLive`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

Rollup merge of #105659 - JakobDegen:storage-live-borrow, r=davidtwco

Don't require owned data in `MaybeStorageLive`

Small improvement that avoids a clone. I don't expect this to have any noticeable perf effects, but better to have it than not to.

r? ``@tmiasko``

Rollup merge of #105628 - spastorino:small-doc-fixes, r=compiler-errors

Small doc fixes

r? `@compiler-errors`

Rollup merge of #105500 - oli-obk:unhide_unknown_spans, r=estebank

Make some diagnostics not depend on the source of what they reference being available

r? `@estebank`

follow up to https://github.com/rust-lang/rust/pull/104449

Rollup merge of #105476 - estebank:moves-n-borrows, r=compiler-errors

Change pattern borrowing suggestions to be verbose and remove invalid suggestion

Synthesize a more accurate span and use verbose suggestion output to
make the message clearer.

Do not suggest borrowing binding in pattern in let else. Fix #104838.

Rollup merge of #105464 - nbdd0121:hir, r=compiler-errors

Support #[track_caller] on async closures

Follow up on #105180

r? ```@compiler-errors```
cc ```@cjgillot```

Rollup merge of #105438 - compiler-errors:move-methods, r=estebank

Move some codegen-y methods from `rustc_hir_analysis::collect` -> `rustc_codegen_ssa`

Unclear if they should live here, but they seem codegen-y enough, and `rustc_hir_analysis::collect` is extremely long, so it should probably lose some methods.

Rollup merge of #105147 - nbdd0121:inline_const_unsafe, r=oli-obk

Allow unsafe through inline const

Handle similar to closures.

Address https://github.com/rust-lang/rust/pull/104087#issuecomment-1324173328

Note that this PR does not fix the issue for `unsafe { [0; function_requiring_unsafe()] }`. This is fundamentally unfixable for MIR unsafeck IMO.

This PR also does not fix unsafety checking for inline const in pattern position. It actually breaks it, allowing unsafe functions to be used in inline const in pattern position without unsafe blocks. Inline const in pattern position is not visible in MIR so ignored by MIR unsafety checking (currently it is also not checked by borrow checker, which is the reason why it's considered an incomplete feature).

`@rustbot` label: +T-lang +F-inline_const

Auto merge of #102813 - Akida31:issue-64915/simpler_diagnostic_when_passing_arg_to_closure_and_missing_borrow, r=estebank

Simpler diagnostic when passing arg to closure and missing borrow

fixes #64915

I followed roughly the instructions and the older PR #76362.
The number of references for the expected and the found types will be compared and depending on which has more the diagnostic will be emitted.

I'm not quite sure if my approach with the many `span_bug!`s is good, it could lead to some ICEs. Would it be better if  those errors are ignored?

As far as I know the following code works similarly but in a different context. Is this probably reusable since it looks like it would emit better diagnostics?
https://github.com/rust-lang/rust/blob/a688a0305fad9219505a8f2576446510601bafe8/compiler/rustc_hir_analysis/src/check/demand.rs#L713-L1061

When running the tests locally, a codegen test failed. Is there something I can/ should do about that?

If you have some improvements/ corrections please say so and I will happily include them.

r? `@estebank` (as you added the mentoring instructions to the issue)

Account for dereference expressions

Fix span for `&mut ` removal suggestion

Suggest `ref` for some patterns as a fallback

Do not suggest borrowing binding in pattern in let else

Fix #104838.

Change pattern borrowing suggestions to be verbose

Synthesize a more accurate span and use verbose suggestion output to
make the message clearer.

Address a few more nits

Address nits

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>

Remove chalk lowering for AliasTy

nit: docs

Combine OfOpaque and OfProjection

Combine identical alias arms

Combine projection and opaque into alias

squash OpaqueTy and ProjectionTy into AliasTy

ProjectionTy.item_def_id -> ProjectionTy.def_id

Use ty::OpaqueTy everywhere

make Opaque have one field: OpaqueTy

fix tests

Auto merge of #105646 - lqd:revert-thinlto, r=Mark-Simulacrum

Revert "enable ThinLTO for rustc on x86_64-apple-darwin dist builds"

Apparently ThinLTO on x64 mac can regress some of the ICEs' output. This reverts #103647 to allow for investigation, and helps with #105637 in the meantime.

tidy: ignore filelength

reduce to single suggestion for all arguments

remove manual `fn_decl` extraction

change error message

move changes to an extra function

Remove `hint` from help message

Fix stderr of tests which have improved diagnostics

Improve diagnostic when passing arg to closure and missing borrow.

This checks the number of references for the given and expected type and
shows hints to the user if the numbers don't match.

Auto merge of #105612 - oli-obk:bind_rustdoc, r=GuillaumeGomez

use ty::Binder in rustdoc instead of `skip_binder`

r? `@GuillaumeGomez`

this is a preliminary cleanup required to be able to normalize correctly/conveniently in rustdoc

Clarify explicit_predicates_of is_assoc_item_ty comment

Make InternalSubsts rust docs a bit clearer

Don't require owned data in `MaybeStorageLive`

bless fulldeps tests

Use a label instead of a note for the drop site to create denser diagnostics

Stop pointing to operators if their libcore method source is not available

Avoid rendering empty annotations

Don't emit empty notes

Clarify what "this" means

Inform the user which trait is meant in the diagnostic itself instead of relying on the span making it obvious

Make some diagnostics not depend on the source of what they reference being available

Auto merge of #105350 - compiler-errors:faster-binder-relate, r=oli-obk

Fast-path some binder relations

A simpler approach than #104598

Fixes #104583

r? types

Move some codegen-y methods from rustc_hir_analysis::collect -> rustc_codegen_ssa

Auto merge of #105436 - nnethercote:inline-place_contents_drop_state_cannot_differ, r=spastorino

Inline and remove `place_contents_drop_state_cannot_differ`.

It has a single call site and is hot enough to be worth inlining. And make sure `is_terminal_path` is inlined, too.

r? `@ghost`

Fast path some binder relations

Extract shared logic into a new function

Add tests (currently broken) for unsafe + inline const pat

Remove unnecessary recursive call to parent unsafeck

All bodies are unsafe checked anyway. Current MIR unsafeck also just
returns for closures.

Ensure valid local_data is set for custom mir building

MIR unsafety checking requires this to be valid

Add tests

Allow unsafe through inline const for THIR unsafety checker

The closure handling code is changed slightly to avoid allocation
when THIR building failed.

Allow unsafe through inline const

This is handled similar to closures

Revert "enable ThinLTO for rustc on x86_64-apple-darwin dist builds"

This reverts commit 3a085f769545e5f3327d29460060520d59766ba7.

Auto merge of #105644 - matthiaskrgr:rollup-qc6hlzq, r=matthiaskrgr

Rollup of 8 pull requests

Successful merges:

 - #104864 (Account for item-local in inner scope for E0425)
 - #105332 (Point out the type of associated types in every method call of iterator chains)
 - #105620 (Remove unnecessary uses of `clone`)
 - #105625 (minor code cleanups)
 - #105629 (rustdoc: stop treating everything in a trait item as a method)
 - #105636 (Add check for local-storage value when changing "display line numbers" settings)
 - #105639 (rustdoc: remove `type="text/css" from stylesheet links)
 - #105640 (Adjust miri to still be optional)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

Rollup merge of #105640 - lukas-code:miri-beta, r=Mark-Simulacrum

Adjust miri to still be optional

r? `@pietroalbini`

Rollup merge of #105639 - notriddle:notriddle/text-css, r=GuillaumeGomez

rustdoc: remove `type="text/css" from stylesheet links

MDN directly recommends this in <https://developer.mozilla.org/en-US/docs/Web/HTML/Element/link>, since "CSS is the only stylesheet language used on the web."

Like 07a243b2a46384235d7e2c08688978b7cf018973, but a few places that were missed the first time.

Rollup merge of #105636 - GuillaumeGomez:extend-gui-test, r=notriddle

Add check for local-storage value when changing "display line numbers" settings

r? `@notriddle`

Rollup merge of #105629 - notriddle:notriddle/method-toggle-trait, r=GuillaumeGomez

rustdoc: stop treating everything in a trait item as a method

This was added in 0b9b4b70683db6ef707755f520f139eb7b92a944 to fix the spacing on trait pages, but stopped being needed because 791f04e5a47ee78951552c7ed1545b2b01a44c74 stopped styling method-toggle. By only putting the method-toggle class on actual methods, the JS setting does the right thing.

Rollup merge of #105625 - matthiaskrgr:clippy_dec12, r=compiler-errors

minor code cleanups

r? `@compiler-errors`

Rollup merge of #105620 - TaKO8Ki:remove-unnecessary-uses-of-clone, r=compiler-errors

Remove unnecessary uses of `clone`

Rollup merge of #105332 - estebank:iterator-chains, r=oli-obk

Point out the type of associated types in every method call of iterator chains

Partially address #105184 by pointing out the type of associated types in every method call of iterator chains:

```
note: the expression is of type `Map<std::slice::Iter<'_, {integer}>, [closure@src/test/ui/iterators/invalid-iterator-chain.rs:12:18: 12:21]>`
    --> src/test/ui/iterators/invalid-iterator-chain.rs:12:14
     |
10   |         vec![0, 1]
     |         ---------- this expression has type `Vec<{integer}>`
11   |             .iter()
     |              ------ associated type `std::iter::Iterator::Item` is `&{integer}` here
12   |             .map(|x| { x; })
     |              ^^^^^^^^^^^^^^^ associated type `std::iter::Iterator::Item` is `()` here
```

We also reduce the number of impls we mention when any of the candidates is an "exact match". This benefits the output of cases with numerics greatly.

Outstanding work would be to provide a structured suggestion for appropriate changes, like in this case detecting the spurious `;` in the closure.

Rollup merge of #104864 - chenyukang:yukang/fix-104700-binding, r=estebank

Account for item-local in inner scope for E0425

Fixes #104700

Minor grammar nit.

Adjust miri to still be optional

We don't distribute a miri build for beta/stable so it needs to be kept
optional. In the future it likely makes sense to switch the miri
*artifacts* to always be built, but the rustup component to not be
included -- this will avoid some of this pain.

rustdoc: remove `type="text/css" from stylesheet links

MDN directly recommends this in <https://developer.mozilla.org/en-US/docs/Web/HTML/Element/link>,
since "CSS is the only stylesheet language used on the web."

Like 07a243b2a46384235d7e2c08688978b7cf018973, but a few places that were
missed the first time.

Add check for local-storage value when changing "display line numbers" settings

Auto merge of #105622 - matthiaskrgr:rollup-a6i81q7, r=matthiaskrgr

Rollup of 8 pull requests

Successful merges:

 - #104405 (1.66.0 release notes)
 - #105561 (Normalize receiver substs and erase the regions)
 - #105593 (Fix typo in comment: length_limit)
 - #105597 (Correct typos in `core::sync::Exclusive::get_{pin_mut, mut}`)
 - #105614 (delete mentions of type ascription from lint descriptions)
 - #105615 (Fixup method doc that mentions removed param)
 - #105616 (Add a "the" to proc_macro documentation)
 - #105619 (rustdoc: remove no-op CSS `.source pre { overflow: auto }`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

Do not `skip_binder`s

rustdoc: stop treating everything in a trait item as a method

This was added in 0b9b4b70683db6ef707755f520f139eb7b92a944 to fix the
spacing on trait pages, but stopped being needed because
791f04e5a47ee78951552c7ed1545b2b01a44c74 stopped styling method-toggle.
By only putting the method-toggle class on actual methods, the JS setting
does the right thing.

Join match arms since they do the same thing

Fix typo

minor code cleanups

Rollup merge of #105619 - notriddle:notriddle/source-pre-overflow, r=GuillaumeGomez

rustdoc: remove no-op CSS `.source pre { overflow: auto }`

Since source pages use the `example-wrap` wrapper, this rule became redundant because there is already an `overflow-x: auto` rule.

Rollup merge of #105616 - est31:add_the, r=Dylan-DPC

Add a "the" to proc_macro documentation

Rollup merge of #105615 - WaffleLapkin:remove_opt_scope_span_mention, r=compiler-errors

Fixup method doc that mentions removed param

The param was removed in https://github.com/rust-lang/rust/pull/61872 (101a2f59b490650c12c5f9e4561a7390bfce78d3)

Rollup merge of #105614 - lukas-code:ascription, r=Nilstrieb

delete mentions of type ascription from lint descriptions

Tracking Issue: https://github.com/rust-lang/rust/issues/101728

Rollup merge of #105597 - albertlarsan68:patch-1, r=Dylan-DPC

Correct typos in `core::sync::Exclusive::get_{pin_mut, mut}`

Rollup merge of #105593 - jruderman:patch-3, r=Dylan-DPC

Fix typo in comment: length_limit

Rollup merge of #105561 - TaKO8Ki:fix-105449, r=fee1-dead

Normalize receiver substs and erase the regions

Fixes #105449

Rollup merge of #104405 - Mark-Simulacrum:relnotes, r=pietroalbini

1.66.0 release notes

r? ``@tmandry`` ``@rust-lang/release``

Move logic to their own methods

remove unnecessary uses of `clone`

rustdoc: remove no-op CSS `.source pre { overflow: auto }`

Since source pages use the `example-wrap` wrapper, this rule became
redundant because there is already an `overflow-x: auto` rule.

delete mentions of type ascription from lint descriptions

Move it to the historical context section instead.

Fixup method doc that mentions removed param

Add a "the" to proc_macro documentation

Avoid trying to normalize unnormalizable types

Round 3: require binders for substs

normalize receiver substs and erase the regions

use a smaller example

1.66.0 release notes