Run rustfmt on liballoc.

Auto merge of #28969 - chrisccerami:link_to_ffi_in_concurrency_chapter, r=steveklabnik

Auto merge of #28973 - nrc:match-source, r=Manishearth

r? @Manishearth

Properly set the MatchSource for for loops

Auto merge of #28960 - barosl:home-temp-dir-doc, r=alexcrichton

This concern was raised by #28940.

Auto merge of #28948 - steveklabnik:gh28944, r=alexcrichton

"Crate features" isn't a thing in Rust, but you do need to add this line
to your crate root.

Fixes #28944

Link to FFI in Concurrency chapter

Auto merge of #28966 - ykomatsu:trpl, r=steveklabnik

Auto merge of #28964 - eminence:docfix, r=sfackler

r? @steveklabnik

Fix some typos

Auto merge of #28965 - bluss:ptr-write-doc, r=huonw

core: Update the safety docs for core::ptr::write

Updated to reflect that not dropping a value is safe (but discouraged).

core: Update the safety docs for core::ptr::write

Updated to reflect that not dropping a value is safe (but discouraged).

Trivial typo fix:  from_utrf8 should be from_utf8

Clarify the behavior of `std::env::home_dir` and `std::env::temp_dir`

This concern was raised by #28940.

Auto merge of #28941 - jcaudle:rustfmt/librand-distributions-normal, r=nrc

This is my first PR to rust and first collaboration on a rust project, but I think the formatting looked ok. If this works out, I hope to go through more of librand.

Auto merge of #28949 - iwillspeak:rustfmt-libflate, r=nrc

This commit updates the libflate crate with the formatting output of
`rustfmt`.

r? @nrc

Update Libflate Formatting

This commit updates the libflate crate with the formatting output of
`rustfmt`.

Diagnostic change: crate features -> crate root

"Crate features" isn't a thing in Rust, but you do need to add this line
to your crate root.

Fixes #28944

Auto merge of #28945 - shama:doc-typos, r=steveklabnik

Just a few typos found in the docs. Thanks!

doc: fixing typos

Auto merge of #28922 - panicbit:trpl-missing-docs, r=steveklabnik

Auto merge of #28938 - GlenDC:master, r=Manishearth

Here is my attempt to resolve issue #28822, @Manishearth.
Please let me know if it's fine. And if not, what should I do instead?

This issue felt like quite a good start for some rust contributions. It allows me to get used to the workflow  and codebase of rust in an easy-to-swallow manner. Are there any other issues you would recommend me to look at? :) Would love to do some more stuff!

Whitelisting PatWild for E0022. Fix #28822

Auto merge of #28930 - steveklabnik:update_pr, r=steveklabnik

https://github.com/rust-lang/rust/pull/27813#issuecomment-146842041

Auto merge of #28920 - dotdash:const_align, r=eddyb

For enum variants, the default alignment for a specific variant might be
lower than the alignment of the enum type itself. In such cases we, for
example, generate memcpy calls with an alignment that's higher than the
alignment of the constant we copy from.

To avoid that, we need to explicitly set the required alignment on
constants.

Fixes #28912.

Auto merge of #28928 - ykomatsu:trpl, r=Manishearth

Run rustfmt on librand/distributions/normal.rs

Auto merge of #28932 - barosl:empty-comment, r=alexcrichton

Previously, `/**/` was incorrectly regarded as a doc comment because it starts with `/**` and ends with `*/`. However, this caused an ICE because some code assumed that the length of a doc comment is at least 5. This commit adds an additional check to `is_block_doc_comment` that tests the length of the input.

Fixes #28844.

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

implement RFC 1238: nonparametric dropck.

cc #28498

cc @nikomatsakis

Set proper alignment on constants

For enum variants, the default alignment for a specific variant might be
lower than the alignment of the enum type itself. In such cases we, for
example, generate memcpy calls with an alignment that's higher than the
alignment of the constant we copy from.

To avoid that, we need to explicitly set the required alignment on
constants.

Fixes #28912.

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

Use a proper C string for the gdb script section name

Prevent `/**/` from being parsed as a doc comment

Previously, `/**/` was incorrectly regarded as a doc comment because it
starts with `/**` and ends with `*/`. However, this caused an ICE
because some code assumed that the length of a doc comment is at least
5. This commit adds an additional check to `is_block_doc_comment` that
tests the length of the input.

Fixes #28844.

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.

Some tidying up

Improving the use of 2nd and 3rd person
Adding a few contractions to make the text less formal
Tidying up some notes
Providing a little bit more clarification for Windows users

2nd to 3rd person

Replacing all references to the 2nd person with references to the 3rd
person (excluding `authors = [ "Your name <you@example.com>" ]` and
`file:///home/yourname/projects/hello_world` in `hello-cargo.md`)

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]>>

Fix GitHub

trpl: mention doc(hidden)

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)

trpl: missing documentation wording

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

trpl: mention missing_docs lint

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