Reduce genericity in Filter and FilterMap

Remove genericity in StepBy::size_hint

Reduce genericity in Copied and Cloned

Avoid closures in the default <Zip as ZipImpl>::next

Reduce genericity in FlattenCompat

Avoid closures in OnceWith and Successors

Reduce genericity in Iterator::last

Reduce the genericity of Map folds

Add codegen tests for the genericity of fold closures

Explicitly test Iterator::position overflows

Explicitly test Iterator::count overflows

Use if-let in is_sorted_by

Reduce the genericity of closures in the iterator traits

By default, closures inherit the generic parameters of their scope,
including `Self`. However, in most cases, the closures used to implement
iterators don't need to be generic on the iterator type, only its `Item`
type. We can reduce this genericity by redirecting such closures through
local functions.

This does make the closures more cumbersome to write, but it will
hopefully reduce duplication in their monomorphizations, as well as
their related type lengths.

Auto merge of #63483 - RalfJung:invalid-value, r=Centril

Improve invalid_value lint message

The lint now explains which type is involved and why it cannot be initialized this way. It also points at the innermost struct/enum field that has an offending type, if any.

See https://github.com/erlepereira/x11-rs/issues/99#issuecomment-520311911 for how this helps in some real-world code hitting this lint.

more informative error message from invalid_value lint

Auto merge of #63489 - Centril:rollup-uuf6z1s, r=Centril

Rollup of 9 pull requests

Successful merges:

 - #62108 (Use sharded maps for queries)
 - #63297 (Improve pointer offset method docs)
 - #63406 (Suggest using a qualified path in patterns with inconsistent bindings)
 - #63431 (Revert "Simplify MIR generation for logical ops")
 - #63449 (resolve: Remove remaining special cases from built-in macros)
 - #63461 (docs: add stdlib env::var(_os) panic)
 - #63473 (Regression test for #56870)
 - #63474 (Add tests for issue #53598 and #57700)
 - #63480 (Fixes #63477)

Failed merges:

r? @ghost

Rollup merge of #63480 - OptimisticPeach:patch-1, r=Centril

Fixes #63477

Adds a closing parenthesis.

Rollup merge of #63474 - adamAndMath:master, r=Centril

Add tests for issue #53598 and #57700

Closes #53598 and #57700

Rollup merge of #63473 - adrian-budau:master, r=Centril

Regression test for #56870

Closes #56870.

Rollup merge of #63461 - tommilligan:doc-var-panic, r=joshtriplett

docs: add stdlib env::var(_os) panic

Closes #63456

Rollup merge of #63449 - petrochenkov:builtinagain, r=eddyb

resolve: Remove remaining special cases from built-in macros

Edition and definition sites of the macros are now also taken from the `#[rustc_builtin_macro]` definitions in `libcore`.

---
The edition switch may be a breaking change for `Rustc{Encodable,Decodable}` derives if they are used in combination with the unstable crate `serialize` from sysroot like this
```rust
extern crate serialize;
use serialize as rustc_serialize;

#[derive(RustcEncodable)]
struct S;
```
(see the updated `ui-fulldeps` tests).

Rollup merge of #63431 - andjo403:revert_mir_simplification, r=matthewjasper

Revert "Simplify MIR generation for logical ops"

This reverts commit e38e954a0d249f88d0a55504f70d6055e865a931.

llvm were not able to optimize the code that well with the simplified mir.

Closes: #62993

Rollup merge of #63406 - jakubadamw:resolve-inconsistent-names-suggest-qualified-path, r=petrochenkov

Suggest using a qualified path in patterns with inconsistent bindings

A program like the following one:

```rust
enum E { A, B, C }
fn f(x: E) -> bool {
    match x {
        A | B => false,
        C => true
    }
}
```

is rejected by the compiler due to `E` variant paths not being in scope.
In this case `A`, `B` are resolved as pattern bindings and consequently
the pattern is considered invalid as the inner or-patterns do not bind
to the same set of identifiers.

This is expected but the compiler errors that follow could be surprising
or confusing to some users. This commit adds a help note explaining that
if the user desired to match against variants or consts, they should use
a qualified path. The help note is restricted to cases where the identifier
starts with an upper-case sequence so as to reduce the false negatives.

Since this happens during resolution, there's no clean way to check what
it is the patterns match against. The syntactic criterium, however, is in line
with the convention that's assumed by the `non-camel-case-types` lint.

Fixes #50831.

Rollup merge of #63297 - RalfJung:ptr_offset, r=dtolnay

Improve pointer offset method docs

Cc @rkruppe @gnzlbg

Rollup merge of #62108 - Zoxc:sharded-queries, r=oli-obk

Use sharded maps for queries

Based on https://github.com/rust-lang/rust/pull/61779.

r? @Gankro

Fixes #63477

Adds a closing parenthesis.

Auto merge of #63469 - Centril:refactor-parser, r=petrochenkov

libsyntax: Refactor `parser.rs` into reasonably sized logical units

Here we split `parser.rs` (~7.9 KLOC) into more reasonably sized files (all < 1.8 KLOC):

- `./src/libsyntax/parse/`
   - `parser.rs`
   - `parser/`
      - `pat.rs`
      - `expr.rs`
      - `stmt.rs`
      - `ty.rs`
      - `path.rs`
      - `generics.rs`
      - `item.rs`
      - `module.rs`

Closes https://github.com/rust-lang/rust/issues/60015.

r? @petrochenkov

Auto merge of #63472 - Xanewok:update-rls, r=Mark-Simulacrum

Update RLS

This update includes the ability to warn on deprecated config keys.
It's important to be able to warn the user whenever they're using
an old configuration rather than giving them a cryptic "unknown
configuration error"

cc https://github.com/rust-lang/rls-vscode/issues/639

Since we removed a config value in the current nightly, it'd be
very good if this change can make also make it before cutting the
next release.

Move tests into type-alias-impl-trait

Add test for issue 53598 and 57700

Regression test for #56870

Auto merge of #63471 - Mark-Simulacrum:rollup-m756lnx, r=Mark-Simulacrum

Rollup of 8 pull requests

Successful merges:

 - #61969 (Add #[repr(transparent)] for several types)
 - #63346 (Lint on some incorrect uses of mem::zeroed / mem::uninitialized)
 - #63433 (Miri shouldn't look at types)
 - #63440 (rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACE)
 - #63441 (Derive Debug for CrateInfo)
 - #63442 (Add an example to show how to insert item to a sorted vec)
 - #63453 (rustdoc: general cleanup)
 - #63464 (Copy ty::Instance instead of passing by reference)

Failed merges:

r? @ghost

Rollup merge of #63464 - Mark-Simulacrum:deref-instance, r=eddyb

Copy ty::Instance instead of passing by reference

ty::Instance is small and Copy, we should not be adding additional
indirection.

Fixes #63409.

r? @eddyb

Rollup merge of #63453 - Mark-Simulacrum:rustdoc-clean-2, r=GuillaumeGomez

rustdoc: general cleanup

Almost all commits stand alone; but all commits can be reviewed individually.

Rollup merge of #63442 - lzutao:vec-bin-search-insert, r=Mark-Simulacrum

Add an example to show how to insert item to a sorted vec

Closes #61684
cc #61742
r? @Mark-Simulacrum, @jonas-schievink

Rollup merge of #63441 - bjorn3:patch-1, r=Mark-Simulacrum

Derive Debug for CrateInfo

Rollup merge of #63440 - RalfJung:ctfe-backtrace, r=oli-obk

rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACE

This matches `RUSTC_LOG`. Both affect only rustc, not any Rust program.

Rollup merge of #63433 - RalfJung:miri-call, r=oli-obk

Miri shouldn't look at types

r? @oli-obk

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

Rollup merge of #63346 - RalfJung:zeroed-lint, r=eddyb

Lint on some incorrect uses of mem::zeroed / mem::uninitialized

Cc https://github.com/rust-lang/rust/issues/62825 and https://internals.rust-lang.org/t/make-mem-uninitialized-and-mem-zeroed-panic-for-some-types-where-0-is-a-niche/10605

This does not yet handle `NonNull`/`NonZero*`, but it is a start.

I also improved some doc issues I hit on the way, and added a useful helper to `TyS`.

EDIT: I added the relnotes label mostly as a proposal -- I think this is worth mentioning, but leave the decision up to the release team.

Rollup merge of #61969 - MikailBag:master, r=Centril

Add #[repr(transparent)] for several types

In some functions, types mentioned in this PR are transmuted into their inner value.
Example for `PathBuf`: https://github.com/rust-lang/rust/blob/master/src/libstd/path.rs#L1132.
This PR adds `#[repr(transparent)]` to those types, so their correct behavior doesn't depend on compiler details. (As far as I understand, currently that line, converting `PathBuf` to `Vec<u8>`, is UB).

Update RLS

This update includes the ability to warn on deprecated config keys.
It's important to be able to warn the user whenever they're using
an old configuration rather than giving them a cryptic "unknown
configuration error"

cc https://github.com/rust-lang/rls-vscode/issues/639

Since we removed a config value in the current nightly, it'd be
very good if this change can make also make it before cutting the
next release.

parser: {check,expect}_lifetime into ty.rs

parser: move into generics.rs

parser: move into stmt.rs

parser: move parse_fn_block_decl into expr.rs

parser: move parse_ident_or_underscore into item.rs

parser: split into {ty, path}.rs

parser: split into {item,module}.rs

Copy ty::Instance instead of passing by reference

ty::Instance is small and Copy, we should not be adding additional
indirection.

Derive Debug for NativeLibrary and NativeLibraryKind

Reduce nesting in externalfiles implementation

Utilize `?` instead of and_then/map operators

Drop RefCell from IdMap in markdown rendering

Remove fmt::Display impls on Markdown structs

These impls prevent ergonomic use of the config (e.g., forcing us to use
RefCell) despite all usecases for these structs only using their Display
impls once.

Remove thread-local for playground config

Remove unnecessary channel

Use a HashSet instead of Vec

Don't store all traits in DocContext

This is already a query so we're just needlessly copying the data
around.

Store typed Passes

Replace Arc with Rc around external_traits

Remove ReentrantMutex

This drops the parking_lot dependency; the ReentrantMutex type appeared
to be unused (at least, no compilation failures occurred).

This is technically a possible change in behavior of its users, as
lock() would wait on other threads releasing their guards, but since we
didn't actually remove any threading or such in this code, it appears
that we never used that behavior (the behavior change is only noticeable
if the type previously was used in two threads, in a single thread
ReentrantMutex is useless).

Use entry API in store_path

Remove crate_name from DocContext

tcx.crate_name is the appropriate way to retrieve the crate name.

Move def_id_to_path to use site in visit_ast

rustdoc: Replace HirVec with slices in doctree

Auto merge of #63446 - Centril:refactor-lowering, r=oli-obk

Refactor and categorize lowering wrt. items / exprs

Split lowering into more files along the lines of "expression related" and "item related".
Also refactor huge methods into smaller ones.

A next step might be to introduce "type related" and merge patterns and statements combined with expressions into "value related". There's still more work to do but the PR was getting too big :)

r? @oli-obk

parser: split into pat.rs

docs: add stdlib env::var(_os) panic

parser: split into expr.rs

update clippy

note down some more future plans

allow the lint if a few UB-demonstrating doc tests

proper doc comment for 'recovered' field of variant

Curtesy of petrochenkov

note a FIXME

add tuple_fields convenience method and use it in a few places

fix a comment

warn for more cases

add basic lint testing for misuse of mem::zeroed and mem::uninitialized

Auto merge of #63343 - ishitatsuyuki:revert-62150, r=RalfJung

Back out #62150

Ref: #62825

cc @RalfJung

Auto merge of #63413 - RalfJung:miri, r=oli-obk

update Miri

With https://github.com/rust-lang/rust/pull/63404 landed, we need https://github.com/rust-lang/miri/pull/898 to avoid failures in https://github.com/RalfJung/miri-test-libstd.

r? @oli-obk

Auto merge of #63250 - petrochenkov:descrate, r=davidtwco

diagnostics: Describe crate root modules in `DefKind::Mod` as "crate"

Or we can use "extern crate" like resolve previously did sometimes, not sure.

r? @davidtwco

Apply suggestions from code review

Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>

Suggest using a qualified path in patterns with inconsistent bindings

A program like the following one:

```rust
enum E { A, B, C }
fn f(x: E) -> bool {
    match x {
        A | B => false,
        C => true
    }
}
```

is rejected by the compiler due to `E` variant paths not being in scope.
In this case `A`, `B` are resolved as pattern bindings and consequently
the pattern is considered invalid as the inner or-patterns do not bind
to the same set of identifiers.

This is expected but the compiler errors that follow could be surprising
or confusing to some users. This commit adds a help note explaining that
if the user desired to match against variants or consts, they should use
a qualified path. The note is restricted to cases where the identifier
starts with an upper-case sequence so as to reduce the false negatives.

Since this happens during resolution, there's no clean way to check what
the patterns match against. The syntactic criterium, however, is in line
with the convention that's assumed by the `non-camel-case-types` lint.

Update cargo

diagnostics: Describe crate root modules in `DefKind::Mod` as "crate"

resolve: Remove remaining special cases from built-in macros

lowering: move lower_arg  -> item.rs

lowering: move scope & capture_clause stuff  -> expr.rs

lowering: refactor into item.rs

lowering: move {lower_arm,arm}  -> expr.rs

lowering: move field  -> expr.rs

lowering: refactor label/dest  -> expr.rs

lowering: move lower_{unop,binop} -> expr.rs

lowering: move lower_field -> expr.rs

lowering: move expr builder methods -> expr.rs

lowering: move make_async_expr -> expr.rs

lowering: extract lower_expr_let

lowering: extract lower_expr_if

lowering: extract lower_expr_while_in_loop_scope

lowering: move wrap_in_try_constructor -> expr.rs

lowering: extract lower_expr_try_block