Simplify some counting

Rename ty_param_bound to generic_bound

Use ty::Generics instead of hir::Generics for various checks

Fix additional comments

Fix accidental quadratic loops

Rename ty_param_bound to trait_bound

Make GenericBound explicit

Rename ParamBound(s) to GenericBound(s)

Address various comments

Lift attrs into hir::GenericParam

Rename TraitTyParamBound to ParamBound::Trait

Fix HasAttrs support for GenericParam

Introduce ParamName and use it in place of LifetimeName

Fix NodeLifetime/NodeGenericParam confusion

Take advantage of the lifetime refactoring

Remove name from GenericParamKind::Lifetime

Lift name into GenericParam

Handle lifetimes in NodeGenericParam also

Use ParamBounds in WhereRegionPredicate

Lift bounds into GenericParam

Simply joint lifetime/type iteration

Refactor counting methods

Rename structures in ast

Refactor generic parameters in rustdoc/clean

Remove all traces of lifetimes() and types() methods

Rename DefPathData::LifetimeDef to LifetimeParam

Remove AngleBracketedArgs impl

Remove methods from ast::GenericParam and ast::Generics

Refactor ast::GenericParam as a struct

Remove hir::GenericParam::is_*_param

Remove specific parameter iterators from hir::Generics

Refactor hir::GenericParam as a struct

Rename ast::GenericParam and ast::GenericArg

It's so confusing to have everything having the same name, at least while refactoring.

Make method and variable names more consistent

Rename "parameter" to "arg"

Rename PathParameter(s) to GenericArg(s)

Abstract walk_path_parameters

Rename *Parameter to *Param

Consolidate PathParameters and AngleBracketedParameterData

Auto merge of #51644 - Sgeo:patch-1, r=rkruppe

Remove erroneous example of main as a non-Result function.

Auto merge of #51631 - WiSaGaN:patch-1, r=Mark-Simulacrum

Fix links in RELEASES.md

Auto merge of #51617 - nnethercote:nll-allocs, r=pnkfelix

Reduce number of allocations done by NLL

A couple of easy wins. Here are the NLL speedups that exceed 1%:
```
sentry-cli-check
        avg: -3.5%      min: -3.5%      max: -3.5%
inflate-check
        avg: -1.9%      min: -1.9%      max: -1.9%
inflate
        avg: -1.7%      min: -1.7%      max: -1.7%
clap-rs-check
        avg: -1.6%      min: -1.6%      max: -1.6%
cargo-check
        avg: -1.6%      min: -1.6%      max: -1.6%
ripgrep-check
        avg: -1.4%      min: -1.4%      max: -1.4%
serde-check
        avg: -1.2%      min: -1.2%      max: -1.2%
regex-check
        avg: -1.0%      min: -1.0%      max: -1.0%
sentry-cli
        avg: -1.0%      min: -1.0%      max: -1.0%
```
r? @nikomatsakis

Auto merge of #51639 - SimonSapin:missing-alloc, r=rkruppe

Update the error message for a missing global allocator

Don’t mention `#[default_lib_allocator]` (which is an implementation detail irrelevant to most users) and  instead suggest using `#[global_allocator]`, which is often the correct fix.

Remove erroneous example of main as a non-Result function.

Auto merge of #51275 - pnkfelix:nll-diagnostics-revise-check-access-permissions, r=nikomatsakis

NLL diagnostics: revise `fn check_access_permissions`

NLL: revise `fn check_access_permissions` so that its (still branchy) shares more code paths between the different cases, and also provide more diagnostics in more cases (though the added diagnostics still do not always meet the quality bar established by AST-borrowck)

----

Transcribing "checklist" suggested by Niko, except I am rendering it as a table to make it clear that I do not regard every item in the list to be a "must have" for landing this PR.

goal | does this PR do it?
-----|------------------------------
no suggestions for `ref mut` |  yes
suggestions for direct local assignment (`{ let x = 3; x = 4; }`) | yes (see commits at end)
suggestions for direct field assignment (`{ let x = (3, 4); x.0 = 5; }` | yes (see commits at end)
suggestions for upvars (`let x = 3; let c = \|\| { &mut x; }`) | yes

Note that I added support for a couple of rows via changes that are not strictly part of `fn check_access_permissions`. If desired I can remove those commits from this PR and leave them for a later PR.

Fix #51031
Fix #51032
(bug #51191 needs a little more investigation before closing.)
Fix #51578

Auto merge of #51543 - SimonSapin:oom, r=SimonSapin

Rename OOM to allocation error

The acronym is not descriptive unless one has seen it before.

* Rename the `oom` function to `handle_alloc_error`. It was **stabilized in 1.28**, so if we do this at all we need to land it this cycle.
* Rename `set_oom_hook` to `set_alloc_error_hook`
* Rename `take_oom_hook` to `take_alloc_error_hook`

Bikeshed: `on` v.s. `for`, `alloc` v.s. `allocator`, `error` v.s. `failure`

Update the error message for a missing global allocator

Don’t mention `#[default_lib_allocator]` (which is an implementation detail
irrelevant to most users) and instead suggest using `#[global_allocator]`,
which is often the correct fix.

Add a UI test for the missing allocator error message

Add unit test for case that didn't seem to be covered in existing UI tests
(since I made this mistake at first but the tests didn't catch it):
we should not suggest adding `mut` to a reassigned `ref` or `ref mut` binding.

(The Rust language, since at least 1.0, does not have `mut ref mut` or
`ref mut mut` etc.)

Update the existing compile-fail tests to reflect diagnostic changes in NLL.

Update the existing UI tests to reflect diagnostic changes in NLL.

Added diagnostics for suggesting `mut x` on repeated mutations of `x`.

(Follow-on commits updating the test suite show the resulting changes
to diagnostic output.)

updates to compile-fail tests for changes to NLL.

NLL: Updates to diagnostic output in `test/ui`.

NLL: Broad rewrite of check_access_perimssions.

Tried to unify various common code paths and also vaguely approximate
the AST-borrowck diagnostics.

The change in (subjective) quality of diagnostics is not a universal
improvement. But I think this is a better code base to work from
for future fixes.

small refactoring: replaced mutable state with `return` statements in control flow.

As a drive-by, removed some dead-code.

Thread more argument info down from `Hir` into the `mir::LocalDecls`.

Namely, we thread down the `HirId` of the explicit type of the
argument.  In the case of the special `self` variable with an implicit
type, we also thread down a description of its structure (`self`/`mut
self`/`&self`/`&mut self`).

Add `fn fn_decl` to `Hir`, for looking up the `FnDecl` of a body owner.

Refactor: Replace anonymous-tuple with tuple struct as prep for adding more fields in future.

Thread info about form of variable bindings, including spans of arg types, down into `mir::LocalDecls`.

As a drive-by: the ref_for_guards created by `fn declare_binding`
should not have been tagged as user_variables in the first
place. These secret internal locals are *pointers* to user variables,
but themselves are not such (IMO. For now at least.)

Auto merge of #51367 - oli-obk:silence!_I_test_you, r=Mark-Simulacrum

Use quiet tests by default

r? @eddyb

Auto merge of #51081 - kornelski:examplestr, r=steveklabnik

Use String, not &str in some collection examples

Discussed in #46966

Overuse of borrowed values in data structures is a common mistake I see in Rust user forums. Users who copy&paste such examples end up fighting with the borrow checker as soon as they replace string literals with some real values.

This changes a couple of examples to use `String`, and it adds opportunity to demonstrate use of `Borrow`.

Auto merge of #51597 - Mark-Simulacrum:update-books, r=Mark-Simulacrum

Update books for next release

Auto merge of #50383 - stevepentland:union-derive, r=oli-obk

Add ability to apply custom derive to union types.

The Union item type has been included in the allowed types for a custom derive.
fyi @abonander

Closes #50223

Fix links in README.md

Auto merge of #51383 - Zoxc:parallel-stuff, r=nikomatsakis

Run some stuff in parallel

Requires https://github.com/rust-lang/rust/pull/50699 to actually work correctly.

r? @nikomatsakis

Auto merge of #51278 - EPashkin:fix_mod_with_multilevel_paths_on_windows, r=nikomatsakis

Fix processing mod with multi-level path on Windows

Fix error in [rustfmt](https://github.com/rust-lang-nursery/rustfmt/issues/1754) because libsyntax can not handle `mod` with multilevel path on Windows.

Alternative is do almost same in https://github.com/rust-lang/rust/blob/master/src/libstd/sys/windows/fs.rs#L717 to allow work on paths with different separators, Ex. "\\\\?\\c:\\windows/temp"

Add ability to apply custom derive to union types.

The Union item type has been included in the allowed types for a custom
derive. Closes #50223

Use MTRef and MTLock to avoid a RefCell

Add MTRef and a lock_mut function to MTLock

Parallelize trans item collection

Save query results and the dep graph in parallel

Parallel code

Add par_body_owners

Return a `SmallVec` from `place_elements`.

These vectors are always small, so this avoids lots of allocations.

Avoid allocations in `has_any_child_of`.

`has_any_child_of` is hot. It allocates a `Vec` that almost always
doesn't exceed a length of 1.

This patch peels off the first iteration of the loop, avoiding the need
for the `Vec` creation in ~99% of cases.

Auto merge of #51248 - fabric-and-ink:newtype_index_debrujin, r=nikomatsakis

Declare DebruijnIndex via newtype_index macro

Part of #49887

Declare `DebruijnIndex` via the `newtype_index` macro.

Rename OOM to allocation error

The acronym is not descriptive unless one has seen it before.

* Rename the `oom` function to `handle_alloc_error`. It was **stabilized in 1.28**, so if we do this at all we need to land it this cycle.
* Rename `set_oom_hook` to `set_alloc_error_hook`
* Rename `take_oom_hook` to `take_alloc_error_hook`

Bikeshed: `alloc` v.s. `allocator`, `error` v.s. `failure`

Auto merge of #50894 - teiesti:stabilize_path_ancestors, r=dtolnay

Stabilize std::path::Path::ancestors

Closes #48581

r? @BurntSushi

Stabilize std::path::Path:ancestors

Auto merge of #51460 - nikomatsakis:nll-perf-examination-refactor-1, r=pnkfelix

Improve memoization and refactor NLL type check

I have a big branch that is refactoring NLL type check with the goal of introducing canonicalization-based memoization for all of the operations it does. This PR contains an initial prefix of that branch which, I believe, stands alone. It does introduce a few smaller optimizations of its own:

- Skip operations that are trivially a no-op
- Cache the results of the dropck-outlives computations done by liveness
- Skip resetting unifications if nothing changed

r? @pnkfelix

Update books for next release

Auto merge of #51414 - oli-obk:impl_trait_type_def, r=pnkfelix

Add existential type definitions

Note: this does not allow creating named existential types, it just desugars `impl Trait` to a less (but still very) hacky version of actual `existential type` items.

r? @nikomatsakis

Prefer use of owned values in examples

Auto merge of #51605 - ericfindlay:master, r=kennytm

Fixed minor error in Compiler Error Index, E0603.

Auto merge of #51404 - clarcharr:never_hash, r=KodrAus

impl Hash for !

This was missing in some generic code I was writing and I figured that it would be worthwhile to add this. Blanket-requiring these traits to allow usage of errors in `HashSet`s and `HashMap`s isn't too unreasonable of a use case, and a prerequisite for allowing `!` as an error in such situations is this impl.

Auto merge of #51529 - nodakai:improve-sys_common-mutex, r=oli-obk

libstd: add an RAII utility for sys_common::mutex::Mutex

It is indeed debatable whether or not we should introduce more sophistication like this to the lowest layer of a system library. In fact, `Drop::drop()` cannot be `unsafe` (IIRC there was a discussion on introducing an unsafe variant of `Drop` whose entire scope must be within `unsafe`)

Auto merge of #51555 - ccesare:remove_unused_variables_redox_os, r=kennytm

Removed two unused variables in os.rs

Issue #51419 suggested removing two unused variables in `libstd/sys/redox/os.rs`. This PR implements that change.

It compiles for me locally, but I haven't run any other tests.

Auto merge of #51552 - ccesare:patch-1, r=kennytm

Minor language change to CONTRIBUTING.md

In the `#building` section, the doc read that a default configuration "shall use around 3.5 GB of disk space." Changed "shall use" to "requires," as I don't think it's meant to sound so prescriptive.

Auto merge of #51549 - PSeitz:patch-1, r=kennytm

Follow up to #51508, make parse_block public instead parse_block_expr

This is an follow up to #51508

I mistakenly made parse_block_expr public instead of parse_block.
This fixes this.

Auto merge of #51392 - glaubitz:powerpc-tests, r=petrochenkov

test: Ignore some problematic tests on powerpc and powerpc64*

This updates the list of tests which can be safely ignored on powerpc and powerpc64*.

test: Ignore some problematic tests on powerpc and powerpc64*

Auto merge of #51425 - QuietMisdreavus:thats-def-a-namespace-there, r=petrochenkov

refactor: create multiple HIR items for imports

When lowering `use` statements into HIR, they get a `Def` of the thing they're pointing at. This is great for things that need to know what was just pulled into scope. However, this is a bit misleading, because a `use` statement can pull things from multiple namespaces if their names collide. This is a problem for rustdoc, because if there are a module and a function with the same name (for example) then it will only document the module import, because that's that the lowered `use` statement points to.

The current version of this PR does the following:

* Whenever the resolver comes across a `use` statement, it loads the definitions into a new `import_map` instead of the existing `def_map`. This keeps the resolutions per-namespace so that all the target definitions are available.
* When lowering `use` statements, it looks up the resolutions in the `import_map` and creates multiple `Item`s if there is more than one resolution.
* To ensure the `NodeId`s are properly tracked in the lowered module, they need to be created in the AST, and pulled out as needed if multiple resolutions are available.

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

Auto merge of #51466 - joshlf:ref-split, r=dtolnay

Add Ref/RefMut map_split method

As proposed [here](https://internals.rust-lang.org/t/make-refcell-support-slice-splitting/7707).

TLDR: Add a `map_split` method that allows multiple `RefMut`s to exist simultaneously so long as they refer to non-overlapping regions of the original `RefCell`. This is useful for things like the slice `split_at_mut` method.

libstd: add an RAII utility for sys_common::mutex::Mutex

Signed-off-by: NODA, Kai <nodakai@gmail.com>

Auto merge of #51382 - GuillaumeGomez:intra-link-lint, r=QuietMisdreavus

Add lint for intra link resolution failure

This PR is almost done, just remains this note:

```
note: requested on the command line with `-W intra-link-resolution-failure`
```

I have no idea why my lint is considered as being passed through command line and wasn't able to find where it was set. If anyone has an idea, it'd be very helpful!

cc @QuietMisdreavus

Fixed minor error in Compiler Error Index, E0603.

Auto merge of #51596 - Mark-Simulacrum:bootstrap-racy-tests, r=petrochenkov

Prevent Windows filesystem races in bootstrap tests

Fixes #51595.

This also makes bootstrap tests run near last in `./x.py test` invocations
since they are unlikely to fail.

r? @petrochenkov

Auto merge of #51594 - eddyb:issue-51582, r=nagisa

rustc_codegen_llvm: don't treat i1 as signed, even for #[repr(i8)] enums.

Fixes #51582. r? @nagisa cc @nox @oli-obk

Auto merge of #51558 - Manishearth:manish-is-stupid, r=oli-obk

Fix my comment on editions

me = idiot

r? @oli-obk