Auto merge of #29582 - oli-obk:token_tree, r=sfackler

Auto merge of #29657 - defuz:patch-2, r=steveklabnik

r? @steveklabnik

Auto merge of #29643 - petrochenkov:stability5, r=alexcrichton

Also remove `stable` stability annotations from inherent impls

(There will be a warning for useless stability annotations soon.)

r? @Gankro

remove `Tt` prefix from TokenType variants

[breaking change]

Auto merge of #29620 - petrochenkov:reachable2, r=alexcrichton

Handle them in `middle::reachable` instead (no optimizations so far, just drop all trait impl items into the reachable set, as before). Addresses the concerns from https://github.com/rust-lang/rust/pull/29291#discussion_r43672413
\+ In `middle::reachable` don't treat impls of `Drop` specially, they are subsumed by the general impl treatment.
\+ Add some tests checking reachability of trait methods written in UFCS form
\+ Minor refactoring in the second commit

r? @alexcrichton

Opps, fix incorrect call

Rename me in AUTHORS.txt

Removing the hack from error handling chapter, which is does not make sense anymore.

Auto merge of #29615 - steveklabnik:lol_strings, r=alexcrichton

&format!("...") is the same as "" if we're not doing any interpolation,
and doesn't allocate an intermediate String.

Auto merge of #29604 - bstrie:de_ms, r=alexcrichton

Auto merge of #29600 - Ryman:rustdoc_better_testnames, r=alexcrichton

Old doctest names
```bash
test sync::atomic::load_0 ... ok
test sync::atomic::load_0 ... ok
test sync::atomic::load_0 ... ok
test sync::atomic::load_0 ... ok
```

New doctest names
```bash
test sync::atomic::AtomicBool::load_0 ... ok
test sync::atomic::AtomicIsize::load_0 ... ok
test sync::atomic::AtomicPtr<T>::load_0 ... ok
test sync::atomic::AtomicUsize::load_0 ... ok
```

Auto merge of #29588 - nikomatsakis:mir-switch, r=aatch

Introduce a `SwitchInt` and restructure pattern matching to collect integers and characters into one master switch. This is aimed at #29227, but is not a complete fix. Whereas before we generated an if-else-if chain and, at least on my machine, just failed to compile, we now spend ~9sec compiling `rustc_abuse`. AFAICT this is basically just due to a need for more micro-optimization of the matching process: perf shows a fair amount of time just spent iterating over the candidate list. Still, it seemed worth opening a PR with this step alone, since it's a big step forward.

Auto merge of #29491 - alexcrichton:avoid-stdio-tls, r=brson

Currently if a print happens while a thread is being torn down it may cause a
panic if the LOCAL_STDOUT TLS slot has been destroyed by that point. This adds a
guard to check and prints to the process stdout if that's the case (as we do for
if the slot is already borrowed).

Closes #29488

Auto merge of #29653 - alexcrichton:fix-distcheck-again-zomg, r=brson

The recent change of libdir on windows was accidentally not propagated to
`make dist` and related commands. This commit touches that up!

Closes #29640

Auto merge of #29305 - alexcrichton:bad-getenv, r=brson

As discovered in #29298, `env::set_var("", "")` will panic, but it turns out
that it *also* deadlocks on Unix systems. This happens because if a panic
happens while holding the environment lock, we then go try to read
RUST_BACKTRACE, grabbing the environment lock, causing a deadlock.

Specifically, the changes made here are:

* The environment lock is pushed into `std::sys` instead of `std::env`. This
  also only puts it in the Unix implementation, not Windows where the functions
  are already threadsafe.
* The `std::sys` implementation now returns `io::Result` so panics are
  explicitly at the `std::env` level.

mk: Account for libdir change on windows

The recent change of libdir on windows was accidentally not propagated to
`make dist` and related commands. This commit touches that up!

Closes #29640

librustdoc: improve testnames for doctests

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

- Successful merges: #29609, #29611, #29613, #29614, #29619, #29624, #29630
- Failed merges:

Rollup merge of #29630 - apasel422:marker, r=steveklabnik

r? @steveklabnik

Rollup merge of #29624 - rilut:patch-1, r=steveklabnik

Thanks.
r? @steveklabnik

Rollup merge of #29619 - steveklabnik:gh28824, r=alexcrichton

Fixes #28824

Rollup merge of #29614 - bluss:vec-drop-comment, r=Gankro

vec: Remove old comment in Vec::drop

This comment was leftover from an earlier revision of a PR, something
that never was merged. There is no ZST special casing in Vec::drop.

Rollup merge of #29613 - steveklabnik:29506, r=alexcrichton

in favor of just expect()

Fixes #29506

Rollup merge of #29611 - steveklabnik:gh25918, r=alexcrichton

Originally, this was my 30 minute introduction, and we eventually made
it the opener to the book. But as #25918 has shown, the example I use
here has some issues. The good news is that Rust makes heap allocation
syntatically expensive, but the bad news is that that means showing
equivalent programs from Rust and other languages is difficult. After
thinking about it, I'm not sure this section is pulling its weight, and
since it has problems, I'd rather just pull it than try to re-write it
right now. I think the book is fine without it.

FIxes #25918

Rollup merge of #29609 - ivan:rustdoc-ctrl-s, r=steveklabnik

Rustdoc pages with a search box inadvertently override `ctrl-s` in addition to the intended `s` and `S` keys.  You can test this in at least Firefox and Chrome (tested: Windows): press `ctrl-s` on http://doc.rust-lang.org/std/.  The search box is focused when instead the browser's save feature should be activated.  This PR fixes `ctrl-s` and possibly other browser shortcuts.

Remove stability annotations from trait impl items

Remove `stable` stability annotations from inherent impls

Auto merge of #29583 - dotdash:mir_small_agg, r=nikomatsakis

Fix handling of small aggregate function arguments and assignments of temporaries to lvalues.

Tidy `core::marker` doc summaries

Auto merge of #29565 - sfackler:issue-29540, r=huonw

Closes #29540

r? @huonw

doc(lib.rs): fix #L79 with inline link syntax

Convert TODO into FIXME

Auto merge of #29593 - ben0x539:reflect-doc-comment, r=steveklabnik

Rustdoc takes the first paragraph as a summary, so having a huge
paragraph that ends with introducing an example looked somewhat wrong on
the module page.

Beef up macro designator docs

Fixes #28824

`EmbargoVisitor::reexports` isn't needed

Fix handling of fat pointer function arguments

The store for the "extra" data went to the wrong destination.

rustc_privacy: Do not export items needed solely for the reachability analysis

Process them in middle::reachable instead
Add tests for reachability of trait methods written in UFCS form

remove excess string allocation

&format!("...") is the same as "" if we're not doing any interpolation,
and doesn't allocate an intermediate String.

vec: Remove old comment in Vec::drop

This comment was leftover from an earlier revision of a PR, something
that never was merged. There is no ZST special casing in Vec::drop.

Remove .ok().expect()

in favor of just expect()

Fixes #29506

Remove short intro from README

Originally, this was my 30 minute introduction, and we eventually made
it the opener to the book. But as #25918 has shown, the example I use
here has some issues. The good news is that Rust makes heap allocation
syntatically expensive, but the bad news is that that means showing
equivalent programs from Rust and other languages is difficult. After
thinking about it, I'm not sure this section is pulling its weight, and
since it has problems, I'd rather just pull it than try to re-write it
right now. I think the book is fine without it.

FIxes #25918

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

- Successful merges: #29416, #29537, #29538, #29539, #29567, #29568, #29571, #29579
- Failed merges:

docs for Reflect: blank line after first sentence

Rustdoc takes the first paragraph as a summary, so having a huge
paragraph that ends with introducing an example looked somewhat wrong on
the module page.

Rollup merge of #29579 - steveklabnik:gh27322, r=apasel422

Fixes #27322

Rollup merge of #29571 - steveklabnik:gh29322, r=apasel422

Fixes #29322

Rollup merge of #29568 - steveklabnik:gh24591, r=apasel422

Fixes #24591

Rollup merge of #29567 - Toby-S:patch-1, r=steveklabnik

Reword "Writing the logic" paragraph to prevent `unwrap` being confused for a macro (and other small changes to improve the flow of the paragraph).

cc @steveklabnik

Rollup merge of #29539 - shepmaster:empty-iterator-docs, r=Gankro

Rollup merge of #29538 - steveklabnik:ch1_edits, r=brson

I did some preliminary editing work with No Starch on the first chapter of the book, and here's some of the results. We're going to want to return to this later when @brson etc's new rustup work is done, so this is mostly just a first pass.

But, we agreed that having separate chapters for each of this bit of intro is a bit excessive. So let's move all of this intro stuff into one chapter.

I'd appreciate a careful review of this, as there was also some confusion about some things, which resulted in me taking one huge markdown file apart and splitting it back up, as well as some editor issues, so I _think_ this looks good, but double checking things matters!

/cc @aturon

Rollup merge of #29537 - bltavares:issue-24954, r=steveklabnik

Closes #24954

Rollup merge of #29416 - brson:relnotes, r=alexcrichton

[Rendered](https://github.com/brson/rust/blob/relnotes/RELEASES.md)

More highlights would be good. I intend to go through and hyperlink all the APIs still.

librustdoc: don't override ctrl-s and other browser shortcuts

Auto merge of #28887 - steveklabnik:gh28851, r=alexcrichton

If you try to put something that's bigger than a char into a char
literal, you get an error:

    fn main() {
        let c = 'ஶ்ரீ';
    }

    error: unterminated character constant:

This is a very compiler-centric message. Yes, it's technically
'unterminated', but that's not what you, the user did wrong.

Instead, this commit changes it to

    error: character literal that's larger than a char:

As this actually tells you what went wrong.

Fixes #28851

Fixes as per @brson's review

Improve error message for char literals

If you try to put something that's bigger than a char into a char
literal, you get an error:

    fn main() {
        let c = 'ஶ்ரீ';
    }

    error: unterminated character constant:

This is a very compiler-centric message. Yes, it's technically
'unterminated', but that's not what you, the user did wrong.

Instead, this commit changes it to

    error: character literal may only contain one codepoint

As this actually tells you what went wrong.

Fixes #28851

Auto merge of #29581 - gereeter:unwrap-defmap-refcell, r=nrc

This is basically a more conservative recreation of #24096.

Deprecate `_ms` functions that predate the `Duration` API

Remove use of RefCell<DefMap> in the simpler parts of pat_util

Remove use of RefCell<DefMap> in resolve_lifetime

Remove use of RefCell<DefMap> in check_static_recursion

Unwrap the RefCell around DefMap

More relnotes tweaks

Auto merge of #29543 - Amanieu:asm_mem_constraint, r=alexcrichton

The "m" memory constraint in inline assembly is broken (generates incorrect code or triggers LLVM asserts) and should not be used. Instead, indirect memory operands should be used with "\*m", "=\*m" and "+\*m".

Clang does this transparently by transforming "m" constraints into "\*m" indirect constraints, but for now just being able to use "\*m" directly is enough since asm! isn't stable.

While "\*m" works fine as an input operand, "=\*m" and "+\*m" need to be specified as input operands because they take a pointer value as an input. This PR relaxes the constraint checker to allow constraints starting with "=" or "+" if the constraint string contains a "\*", which indicates an indirect operand.

This (indirectly) fixes these issues: #29382, #16383 and #13366. The code will need to be changed to use "\*m" instead of "m".

Introduce a `SwitchInt` and restructure pattern matching to collect
integers and characters into one master switch.

Auto merge of #29536 - sanxiyn:unused-assign-arg, r=alexcrichton

Fix #29136.

[MIR-trans] Fix handling of non-alloca temps in trans_operand_into()

Auto merge of #29519 - alexcrichton:fix-distcheck, r=nikomatsakis

Needed for distcheck to pass and to have a working tarball.

[MIR-trans] Fix handling of small aggregate arguments

Function arguments that are small aggregates get passed as integer types
instead. To correctly handle that, we need to use store_ty instead of
plain Store.

Auto merge of #29564 - gereeter:no-freevar-refcell, r=sanxiyn

Auto merge of #29528 - amitsaha:rust-inside-other-languages-minor, r=nikomatsakis

When referring to the different shared library extensions, specify the OS explicitly.

Mention [T]::sort is stable in docs

Fixes #27322

Auto merge of #29200 - tshepang:rustfmt-path, r=aturon

Mention multiple impl blocks in TRPL

Fixes #29322

Add note about HashMap::capacity's bounds

Fixes #24591

Merge first three chapters into one.

Conceptually, this makes more sense as one introductory chapter.

Auto merge of #29550 - nrc:save-root, r=alexcrichton

Fix #29542

Reword "Writing the logic" paragraph to prevent `unwrap` being confused
for a macro.

Don't chain method calls in #[derive(Debug)]

Closes #29540

Auto merge of #29478 - angelsl:msvc2, r=alexcrichton

r? @alexcrichton

Remove the RefCell around freevars and freevars_seen in librustc_resolve

Build compiler-rt/builtins with MSVC

Auto merge of #29217 - nikomatsakis:mir-trans, r=dotdash

This branch implements a variant of trans that is based on MIR. It is very incomplete (intentionally), and had only the goal of laying out enough work to enable more incremental follow-on patches. Currently, only fns tagged with `#[rustc_mir]` use the new trans code. I plan to build up a meta-issue as well that tracks the various "not-yet-implemented" points. The only fn that has been tested so far is this amazingly complex "spike" fn:

```rust
#[rustc_mir]
fn sum(x: i32, y: i32) -> i32 {
    x + y
}
```

In general, the most interesting commit is the last one. There are some points on which I would like feedback from @rust-lang/compiler:

- I did not use `Datum`. Originally, I thought that maybe just a `ValueRef` would be enough but I wound up with two very simple structures, `LvalueRef` and `OperandRef`, that just package up a `ValueRef` and a type. Because of MIR's structure, you don't wind up mixing by-ref and by-value so much, and I tend to think that a thinner abstraction layer is better here, but I'm not sure.
- Related to the above, I expect that sooner or later we will analyze temps (and maybe variables too) to find those whose address is never taken and which are word-sized and which perhaps meet a few other criteria. For those, we'll probably want to avoid the alloca, just because it means prettier code.
- I generally tried to re-use data structures from elsewhere in trans, though I'm sure we can trim these down.
- I didn't do any debuginfo primarily because it seems to want node-ids and we have only spans. I haven't really read into that code so I don't know what's going on there.

r? @nrc

remove unused import

Auto merge of #29547 - arielb1:speculative-upvar, r=eddyb

`resolve_identifier` used to mark a variable as an upvar when used within a closure. However, the function is also used for the "unnecessary qualification" lint, which would mark paths whose last component had the same name as a local as upvars.

Fixes #29522

r? @eddyb

address nits from dotdash

correct typos

Add (and use) an analysis to determine which temps can forgo an alloca.

save-analysis: emit the crate root

Auto merge of #29545 - mystor:vec-deque-test-panic, r=bluss

I think this should fix the test failures in debug mode from #29492

The assertion was written incorrectly, and I don't like the way the new assertion is written, but I _think_ it does the right thing now.

Auto merge of #29532 - Ryman:cow_path, r=alexcrichton

resolve: don't speculatively create freevars when resolving

Fixes #29522

Add test for inline asm indirect memory operands

Correct incorrect assertion in VecDeque::wrap_copy

Update compiler-rt

libcollections: DRY up a PartialEq impl for String

libstd: implement PartialEq<Path> for PathBuf and Cow<Path>

Auto merge of #29529 - Ryman:rustdoc-cap-lints, r=alexcrichton

This sets the `cap-lints` setting to 'allow' for all doc compilations. There's precedent for this as rustdoc [already whitelists unstable code](https://github.com/rust-lang/rust/blob/master/src/librustdoc/core.rs#L112) when compiling documentation, with the expectation being that a regular compile will complain about any problems. I think the same justification applies here.

Problem case in the wild: https://github.com/laumann/compiletest-rs/pull/28

r? @Manishearth

Allow indirect operands to be used as inputs for inline asm

Auto merge of #29515 - Manishearth:ice-itembody, r=eddyb

r? @eddyb or @nrc

Fix ICE with unresolved associated items in closures (fixes #28971)

Auto merge of #29495 - meqif:fix_unindent_tabs, r=steveklabnik

A line may be indented with either spaces or tabs, but not a mix of both. If there is a mix of tabs and spaces, only the kind that occurs first is counted.

This addresses issue #29268.