Misc fixups

Add a comment

Some cleanup of no longer used AST things

Cache ids between lowering runs

So that lowering is reproducible

Make save-analysis work for `if let` etc.

hygiene for `for` loops, `if let`, `while let`

and some unrelated test cleanups

Fix stability

Fixes to rustdoc, etc.

Move placement in desugaring to lowering

if let and while let

For loops in save-analysis

Move `for` loop desugaring to lowering

Add a lowering context

Auto merge of #28900 - cristicbz:typos, r=alexcrichton

I found these automatically, but fixed them manually to ensure the semantics are correct. I know things like these are hardly important, since they only marginally improve clarity. But at least for me typos and simple grammatical errors trigger an---unjustified---sense of unprofessionalism, despite the fact that I make them all the time and I understand that they're the sort of thing that is bound to slip through review.

Anyway, to find most of these I used:

  * `ag '.*//.*(\b[A-Za-z]{2,}\b) \1\b'` for repeated words

  * `ag '\b(the|this|those|these|a|it) (a|the|this|those|these|it)\b'` to find constructs like 'the this' etc. many false positives, but not too hard to scroll through them to actually find the mistakes.

  * `cat ../../typos.txt | paste -d'|' - - - - - - - - - - - - - - - - - - - - - - | tr '\n' '\0' | xargs -0 -P4 -n1 ag`. Hacky way to find misspellings, but it works ok. I got `typos.txt` from [Wikipedia](https://en.wikipedia.org/wiki/Wikipedia:Lists_of_common_misspellings/For_machines)

* `ag '.*//.* a ([ae][a-z]|(o[^n])|(i[a-rt-z]))'` to find places where 'a' was followed by a vowel (requiring 'an' instead).

I also used a handful more one off regexes that are too boring to reproduce here.

placate check-pretty via comment rearrangement.

Auto merge of #27197 - nwin:generic-cursor-impl, r=alexcrichton

This is a revival of #23364. Github didn’t recognize my updated branch there.

The cursor implementation now uses `AsRef` which means that fixed-sized array can now be used with `Cursor`. Besides that, the generic implementation simplifies the code as the macro can be avoided.

The only drawback is, that specialized implementation for fixed-sized arrays are now ruled out unless [RFC#1210](https://github.com/rust-lang/rfcs/pull/1210) is accepted & implemented.

`Box<[u8]>` cannot be used yet, but that should be mitigated by [implementing `AsRef` for `Box` and friends](https://internals.rust-lang.org/t/forward-implement-traits-on-smart-pointers-make-smart-pointers-more-transparent/2380/3). I will submit a separate PR for that later as it is an orthogonal issue.

book: Add documentation on custom allocators

This adds a chapter to the nightly section of the book on leveraging and
implementing the `#![allocator]` attribute to write custom allocators as well as
explaining the current situation with allocators.

Auto merge of #28913 - steveklabnik:rollup, r=steveklabnik

- Successful merges: #28621, #28872, #28893, #28904, #28905, #28908, #28910
- Failed merges: #28906

typos: fix a grabbag of typos all over the place

Rollup merge of #28910 - frewsxcv:patch-26, r=steveklabnik

Rollup merge of #28908 - GuillaumeGomez:patch-2, r=Manishearth

r? @Manishearth

Rollup merge of #28905 - tshepang:typo, r=steveklabnik

Rollup merge of #28904 - panicbit:trpl-derive, r=steveklabnik

Rollup merge of #28893 - steveklabnik:gh28687, r=nikomatsakis

Fixes #28687

Rollup merge of #28872 - iwillspeak:master, r=Manishearth

Currently the explain command line flag requires full error codes, complete with
the leading zeros and the E at the beginning. This commit changes that,
if you don't supply a full error code then the error number is padded
out to the required size and the E is added to the beginning.

This means that where previously you would need to write E0001, you can
now write 0001, 001, 01 or just 1 to refer to the same error.

Fix typo in E0101

Auto merge of #28826 - arthurprs:leading_plus, r=alexcrichton

Closes #27580

Auto merge of #28621 - tshepang:move-safety, r=steveklabnik

Document the new more conservative dropck rule and the escape hatch.

Added tests illustrating when and when not to use the UGEH attribute w.r.t. types in negative position.

Added tests illustrating when and when not to use the UGEH attribute w.r.t. a lifetime param.

Added tests illustrating when and when not to use the UGEH attribute w.r.t. a trait bound.

review comment: reduce the `is_adt_dtorck` method to just a check for the attribute.

Auto merge of #28897 - steveklabnik:rollup, r=steveklabnik

- Successful merges: #28836, #28856, #28874, #28876, #28878, #28880, #28882, #28885, #28889, #28896
- Failed merges:

Format code-like text in Iterator::cloned doc-comment

Auto merge of #28891 - cristicbz:new-nbody, r=alexcrichton

This new version takes inspiration from the C implementation of the benchmark, but instead of explicitly using SIMD operations which can't be done on stable, it instead arranges everything the same way and leaves the actual vectorization up to LLVM.

In addition to the ~20% speed gains (see below), this PR also adds some general niceties which showcase the language a little bit: a `Vec3` type to cut down on `(x, y, z)` repetition,  using `while let` instead of `loop-if-break`, iterator adapters instead of for loops etc.

Here are the times in seconds of 10 runs each on my workstation:

```
before: 6.254, 6.260, 6.263, 6.264, 6.265, 6.267, 6.334, 6.341, 6.441, 6.509
before-min: 6.254
before-median: 6.266
before-max: 6.509

after: 4.823, 4.824, 4.826, 4.827, 4.837, 4.839, 4.881, 4.959, 4.990, 5.377
after-min: 4.823
after-median: 4.838
after-max: 5.377

gcc: 4.674, 4.676, 4.680, 4.682, 4.695, 4.696, 4.701, 4.708, 4.794, 5.297
gcc-min: 4.674
gcc-median: 4.696
gcc-max: 5.297
```

On my i7 laptop the speed up is less impressive, from ~5.4s to ~4.7s, but still significant. On my Vultr VPS the numbers look closer to the workstation results. Surprisingly my laptop beats both office workstation and VPS...

Auto merge of #28892 - cristicbz:default-wrapping, r=alexcrichton

It's not very common to store `Wrapping` values, but I kept wrapping and unwrapping a hash value when I taking it out of a struct to do operations on it. I couldn't store the hash as `Wrapping<u64>` because I wanted to be able to `#[derive(Default)]` for the struct.

At any rate, it feels to me that `Wrapping<T>` should implement pretty much everything `T` does. I left out `#[derive(Hash)]` since I'd be hard pressed to find a use case and wanted to avoid the extra generated code, but maybe I should add that too?

reference: fix typos

trpl: link to derivable trait's docs

trpl: mention deriving in traits section

Auto merge of #28863 - nagisa:test-16403, r=alexcrichton

Closes #16403

Auto merge of #28811 - alexcrichton:as-ref-ptrs, r=aturon

These common traits were left off originally by accident from these smart
pointers, and a past attempt (#26008) to add them was later reverted (#26160)
due to unexpected breakge (#26096) occurring. The specific breakage in worry is
the meaning of this return value changed:

    let a: Box<Option<T>> = ...;
    a.as_ref()

Currently this returns `Option<&T>` but after this change it will return
`&Option<T>` because the `AsRef::as_ref` method shares the same name as
`Option::as_ref`. A [crater report][crater] of this change, however, has shown
that the fallout of this change is quite minimal. These trait implementations
are "the right impls to add" to these smart pointers and would enable various
generalizations such as those in #27197.

[crater]: https://gist.github.com/anonymous/0ba4c3512b07641c0f99

This commit is a breaking change for the above reasons mentioned, and the
mitigation strategies look like any of:

    Option::as_ref(&a)
    a.as_ref().as_ref()
    (*a).as_ref()

Rollup merge of #28896 - mkpankov:core-fmt, r=nrc

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/rust-lang/rust/28896)
<!-- Reviewable:end -->

Rollup merge of #28889 - JIghtuse:str_doc, r=steveklabnik

Rollup merge of #28885 - frewsxcv:patch-25, r=alexcrichton

Rollup merge of #28882 - ykomatsu:trpl, r=steveklabnik

Rollup merge of #28880 - Wallacoloo:book-5.14-typo, r=alexcrichton

The diff can hopefully speak for itself. Regardless: this chapter of the book contained a sentence where "the" was mistakenly repeated twice. In this same section, there was a comma separating two sentences where a period should have been. This PR fixes both issues.

Rollup merge of #28878 - sourcefrog:doc-links, r=steveklabnik

Rollup merge of #28876 - steveklabnik:oops, r=Gankro

In #28864, @aarzee submitted some whitespace fixes. I r+'d it. But
@retp998 noticed[1] that this file is explicitly a test of this kind of
whitespace, and so I shouldn't have changed it. This restores the old
line endings.

1: https://github.com/rust-lang/rust/pull/28864#discussion_r41332279

Rollup merge of #28874 - GuillaumeGomez:error_code, r=Manishearth

r? @Manishearth

Rollup merge of #28856 - chills42:master, r=steveklabnik

This is to address issue #28803 by improving some of the references to closures, to explain what they are more clearly, while hopefully still being concise.

r? @steveklabnik

Rollup merge of #28836 - jackwilsonv:patch-6, r=steveklabnik

r? @steveklabnik

Fix comment gone astray

rustfmt hash submodule

rustfmt part of libcore/fmt

Rest is blocked by https://github.com/nrc/rustfmt/issues/413

Auto merge of #28884 - Ms2ger:fmt-mir, r=nikomatsakis

This commit contains some of the changes proposed by a rustfmt invocation,
chosen based on the fairly non-deterministic metric of how much I liked the
change. I expect we will run rustfmt on this crate again later, probably
accepting more of its changes. For now, this is already an improvement over
the status-quo.

Comment on shadowing with patterns

Fixes #28687

core: Derive Default for Wrapping<T>

bench: rewrite nbody for better vectorization

Auto merge of #28852 - steveklabnik:doc_char, r=alexcrichton

Mostly adding examples, and reformatting for consistency.

trpl: Fix some bad wording in iterators subsection

trpl: Use ordered list to release user from counting

Later in text we mention 'step four' and 'step three'. This fix releases user
from counting.

use the struct's ctor-id as its variant def-id

this makes the code cleaner, and is a complement to the cleanup on the
HIR side.

Auto merge of #28873 - dotdash:28339, r=nikomatsakis

Fixes #28839

Fix reborrows of &mut pointers

Fixes #28839

Auto merge of #28868 - JIghtuse:str_doc, r=steveklabnik

Alter formatting for words in Option::cloned doc comment

Partially format librustc_mir with rustfmt.

This commit contains some of the changes proposed by a rustfmt invocation,
chosen based on the fairly non-deterministic metric of how much I liked the
change. I expect we will run rustfmt on this crate again later, probably
accepting more of its changes. For now, this is already an improvement over
the status-quo.

Auto merge of #28867 - panicbit:german-trpl, r=steveklabnik

Make `--explain` Handle Partial Error Codes

Currently the explain command requires full erorr codes, complete with
the leading zeros and the E at the beginning. This commit changes that,
if you don't supply a full erorr code then the error number is padded
out to the required size and the E is added to the beginning.

This means that where previously you would need to write E0001, you can
now write 0001, 001, 01 or jsut 1 to refer to the same error.

Auto merge of #28865 - GuillaumeGomez:patch-1, r=Manishearth

r? @Manishearth

Add a test for #16403

Add error explanation for E0515

Add new error code

Auto merge of #28877 - sourcefrog:doc-fuse, r=alexcrichton

Fix a typo
Add musl link

Auto merge of #28866 - nikomatsakis:remove-hair-trait, r=nrc

As the subject says. This PR also removes the `Hair` trait, which was impeding the ability to build such a map, as described in this thread on internals:

https://internals.rust-lang.org/t/removing-the-hair-trait-from-mir-construction/2732

r? @nrc

Fix "the the" typo and split a run-on sentence

style guide: suggest manual links to constructors

Link from Fuse type docstring to iter.fuse that creates them

Use the correct mod name from the example

Restore line endings in a test

In #28864, @aarzee submitted some whitespace fixes. I r+'d it. But
@retp998 noticed[1] that this file is explicitly a test of this kind of
whitespace, and so I shouldn't have changed it. This restores the old
line endings.

1: https://github.com/rust-lang/rust/pull/28864#discussion_r41332279

Auto merge of #28841 - jld:const-slice-ice, r=Aatch

This turned up as part of #3170.  When constructing an `undef` value to
return in the error case, we were trying to get the element type of the
Rust-level value being indexed instead of the underlying array; when
indexing a slice, that's not an array and the LLVM assertion failure
reflects this.

The regression test is a lightly altered copy of `const-array-oob.rs`.

Update TRPL/Installing Rust to avoid concrete version numbers

As discussed in PR #28817

Write a bunch of docs for char

Mostly adding examples, and reformatting for consistency.

remove now unnecessary trait impls

Auto merge of #28864 - aarzee:master, r=steveklabnik

Remove leading newlines in files and replace lines containing only whitespace with blank lines

fix some tidy complaints

doc: Mention split_whitespace in split doc

Auto merge of #28842 - chrisccerami:patch-1, r=steveklabnik

Add link to the german trpl translation

Replace multiple trailing newlines with a single trailing newline

Sorry I didn’t get this in the last PR (#28864), I hadn’t thought of it.

rename `dump` to `mir_map`, which seems more suitable

make mir map available to later passes (currently unused)

Add error explanation for E0496

store the mir into a map, restructure to avoid rebuilding so many times

Clean newlines

review comment: use RFC example for compile-fail/issue28498-reject-ex1.rs

(It is not *exactly* the text from the RFC, but the only thing it adds
is a call to a no-op function that is just an attempt to make it clear
where the potential for impl specialization comes from.)

shorten URLs to placate `make tidy`.

purge `-Z always-build-mir`, which is no longer relevant