Run rustfmt on librand/distributions/normal.rs

Auto merge of #28861 - pnkfelix:fsk-nonparam-dropck-issue28498, r=arielb1

implement RFC 1238: nonparametric dropck.

cc #28498

cc @nikomatsakis

Auto merge of #28049 - steveklabnik:doc_write, r=alexcrichton

Auto merge of #28926 - DanielKeep:syntax-index, r=steveklabnik

The intent with this chapter is to have a central place where users can
go to find out what a random bit of syntax means, be it a keyword,
symbol, or some unusual bit of composite syntax (like `for <...>`).  This
should be useful both for new users (who may not know what to call this
weird `'blah` thing), and for experienced users (who may just wish to
link someone to the appropriate section on `Trait + Trait` bounds).

Where possible, entries have been linked to an appropriate section of
the book which explains the syntax.  This was not possible in all cases.
If an entry is missing links, that's because I was unable to *find*
anything appropriate to link to.

This commit should include all stable keywords, operators and symbols,
as well as a selection of potentially confusing or unusual syntax.

Improve docs for write!/writeln! macros

Auto merge of #28929 - pnkfelix:expand-legal-cycles-test, r=alexcrichton

Major revision to the dropck_legal_cycles test.

1. Added big comment block explaining the test framework.

2. Added tests exericising Rc and Arc. This was inspired by a comment
   from eefriedman on PR #28861.

3. Made the cycle-detection not issue false-positives on acyclic dags.

   Doing this efficiently required revising the framework; instead of
   visiting all children (i.e. doing a traversal), now each test is
   responsible for supplying the path that will act as a witness to
   the cycle.

   Luckily for me, all of the pre-existing tests worked with a trivial
   path built from "always tke your first left", but new tests I added
   did require other input paths (i.e., "first turn right, then left".

   (The path representation is a bit-string and its branches are
    n-ary, not word phrases and binary branches as you might think
    from the outline above.)

cc PR #27185

review comment: further refinement of comment above `fn is_adt_dtorck`.

Added the param-blindness attribute to `Rc` and `Arc`.

This was proven necessary after I added `Rc` and `Arc` to the rpass
test `dropck_legal_cycles.rs`; see PR #28929.

Major revision to the dropck_legal_cycles test.

1. Added big comment block explaining the test framework.

2. Added tests exericising Rc and Arc. This was inspired by a comment
   from eefriedman on PR #28861.

3. Made the cycle-detection not issue false-positives on acyclic dags.

   Doing this efficiently required revising the framework; instead of
   visiting all children (i.e. doing a traversal), now each test is
   responsible for supplying the path that will act as a witness to
   the cycle.

   Luckily for me, all of the pre-existing tests worked with a trivial
   path built from "always tke your first left", but new tests I added
   did require other input paths (i.e., "first turn right, then left".

   (The path representation is a bit-string and its branches are
    n-ary, not word phrases and binary branches as you might think
    from the outline above.)

Auto merge of #27897 - sfackler:cursor-box-slice, r=alexcrichton

Implement Read, BufRead, Write and Seek for Cursor<Box<[u8]>>

review comment: point out that the dropck analysis is now trivial.

Corrections to syntax index.

* removed reference to struct fields from `mut` description.
* changed `..` pattern example to not be syntactically bogus.
* changed `@` pattern example for similar reasons.

(Thanks petrochenkov)

revise cfail test, removing ugeh attribute that was erroneously cut-and-pasted into it.

Expanded entries for generics.

* Now mentions method generics.
* Has separate entries for generic `fn`, `struct`, `enum`, and `impl`
  items.

(Thanks killercup).

Auto merge of #28857 - nrc:lowering, r=nikomatsakis

r? @nikomatsakis

Introduces a "Syntax Index" chapter to TRPL.

The intent with this chapter is to have a central place where users can
go to find out what a random bit of syntax means, be it a keyword,
symbol, or some unusual bit of composite syntax (like `for <...>`).  This
should be useful both for new users (who may not know what to call this
weird `'blah` thing), and for experienced users (who may just wish to
link someone to the appropriate section on `Trait + Trait` bounds).

Where possible, entries have been linked to an appropriate section of
the book which explains the syntax.  This was not possible in all cases.
If an entry is missing links, that's because I was unable to *find*
anything appropriate to link to.

This commit should include all stable keywords, operators and symbols,
as well as a selection of potentially confusing or unusual syntax.

review comments

Auto merge of #28869 - alexcrichton:allocator-dox, r=steveklabnik

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 #28817 - dcarral:installing_rust_v130, r=brson

Update "Installing Rust" section @ TRPL so it references the last stable version, v1.3.0.

Auto merge of #28919 - huonw:placement-tracking-issue, r=alexcrichton

cc #28244

Auto merge of #28888 - arielb1:variant-ctor, r=eddyb

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

r? @eddyb

Point `placement_in_syntax`/`box_syntax` lang features at tracking issue #27779.

cc #28244.

rustfmt'ing

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