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

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.

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

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

Update cargo

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

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

lowering: move lower_await -> expr.rs

lowering: extract lower_expr_closure

lowering: extract lower_expr_async_closure

lowering: extract lower_expr_range_closed

lowering: extract lower_expr_range

lowering: extract lower_expr_asm

lowering: extract lower_expr_yield

lowering: extract lower_expr_for

lowering: extract lower_expr_try

lowering: move lower_expr -> expr.rs

Auto merge of #62955 - Mark-Simulacrum:rustdoc-clean-1, r=eddyb

rustdoc: general cleanups

This is purely a refactoring, mostly just simplifying some of the code. Commits are best reviewed individually.

Use Result::unwrap_or_else instead of matching

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

Derive Debug for CrateInfo

rename RUST_CTFE_BACKTRACE to RUSTC_CTFE_BACKTRACE

Auto merge of #63437 - Centril:rollup-ryx881p, r=Centril

Rollup of 4 pull requests

Successful merges:

 - #63400 (Try to break resolve into more isolated parts)
 - #63425 (Cleanup historical stability comments)
 - #63429 (.gitignore: Readd `/tmp/`)
 - #63432 (Cleanup & Simplify stuff in lowering)

Failed merges:

r? @ghost

Rollup merge of #63432 - Centril:simplify-lowering, r=eddyb

Cleanup & Simplify stuff in lowering

Closes https://github.com/rust-lang/rust/issues/60253 as a byproduct.

It turns out that it is in fact necessary to have a `DropTemps(...)` around the `match_expr` and there is a test (https://github.com/rust-lang/rust/blob/master/src/test/ui/issues/issue-13304.rs) which fails without that.

r? @eddyb

Rollup merge of #63429 - rust-lang:gitignore-readd-tmp, r=Mark-Simulacrum

.gitignore: Readd `/tmp/`

Specifically, `/tmp/partitioning-tests/` it is generated by the incremental tests, https://github.com/rust-lang/rust/search?p=2&q=partitioning-tests&unscoped_q=partitioning-tests. These are cleaned up by compiletest but not if you kill testing prematurely (which I just did to test out a rollup, and it is annoying to `rm -rf tmp/`).

r? @Mark-Simulacrum
cc @RalfJung

Rollup merge of #63425 - Mark-Simulacrum:clean-stability-doc, r=eddyb

Cleanup historical stability comments

These weren't removed by ccbcc720a679ae76155a8 most likely by accident,
let's clean them up now.

Rollup merge of #63400 - petrochenkov:resplit, r=eddyb

Try to break resolve into more isolated parts

Some small step towards resolve librarification.

"Late resolution" is the pass that resolves most of names in a crate beside imports and macros.
It runs when the crate is fully expanded and its module structure is fully built.
So we just walk through the crate and resolve all the expressions, types, etc.

This pass is pretty self-contained, but it was previously done by implementing `Visitor` on the whole `Resolver` (which is used for many other tasks), and fields specific to this pass were indiscernible from the global `Resolver` state.

This PR moves the late resolution pass into a separate visitor and a separate file, fields specific to this visitor are moved from `Resolver` as well.

I'm especially happy about `current_module` being removed from `Resolver`.
It was used even for operations not related to visiting and changing the `current_module` position in process.
It was also used as an implicit argument for some functions used in this style
```rust
let orig_current_module = mem::replace(&mut self.current_module, module);
self.resolve_ident_somewhere();
self.current_module = orig_current_module;
```
and having effects on e.g. privacy checking somewhere deeply inside `resolve_ident_somewhere`.
Now we explicitly pass a `ParentScope` to those functions instead, which includes the module and some other data describing our position in the crate relatively to which we resolve names.

Rustdoc was one of the users of `current_module`, it set it for resolving intra-doc links.
Now it passes it explicitly as an argument as well (I also supported resolving paths from rustdoc in unnamed blocks as a drive-by fix).

Visibility resolution is also changed to use early resolution (which is correct because it's used during the work of `BuildReducedGraphVisitor`, i.e. integration of a new AST fragment into the existing partially built module structures.) instead of untimely late resolution (which worked only due to restrictions on paths in visibilities like inability to refer to anything except ancestor modules).
This slightly regresses its diagnostics because late resolution has a more systematic error detection and recovery currently.
Due to changes in `current_module` and visibilities `BuildReducedGraphVisitor` ended up almost as heavily affected by this refactoring as late resolution.

Fixes https://github.com/rust-lang/rust/issues/63223 (due to visibility resolution changes).

Revert "Rollup merge of #62150 - alex:mem-uninit-refactor, r=RalfJung"

This reverts commit 1d45156866b54c3fc36edfdfcdd8149ad9cb5711, reversing
changes made to 0f92eb8a4a7d8715381f5b5d748d22315f6ff9c7.

fix test

Implement Clean<Crate> on hir::Crate directly

Replace is_doc_reachable with is_public

Remove NodeId from doctree::Module

Gather deprecation information during cleaning

Gather stability information during cleaning

Make exact_paths a non-optional field on RustdocVisitor

Also privatizes needlessly public methods to enforce which methods
callers are intended to call, i.e., only `new` and `visit`.

Represent ownership transfer in RustdocVisitor::visit

Previously visit could be called multiple times, but this is inaccurate,
as it deconstructs Visitor state.

Remove Option from resolver

Miri shouldn't look at types

Make fields of RustdocVisitor private