rollup merge of #21702: nikomatsakis/issue-21636

Check and extract bindings from trait definitions.

Fixes #21636.

r? @nick29581

rollup merge of #21693: tomjakubowski/rustdoc-fix-21442

Fix #21442

rollup merge of #21678: vojtechkral/threads-native-names

Fixes #10302

I really am not sure I'm doing this right, so here goes nothing...

Also testing this isn't easy. I don't have any other *nix boxes besides a Linux one.

Test code:

```rust
use std::thread;
use std::io::timer::sleep;
use std::time::duration::Duration;

fn make_thread<'a>(i: i64) -> thread::JoinGuard<'a, ()>
{
thread::Builder::new().name(format!("MyThread{}", i).to_string()).scoped(move ||
{
println!("Start: {}", i);
sleep(Duration::seconds(i));
println!("End: {}", i);
})
}

fn main()
{
let mut guards = vec![make_thread(3)];

for i in 4i64..16
{
guards.push(make_thread(i));
}
}
```

GDB output on my machine:

```
(gdb) info threads
  Id   Target Id         Frame
  15   Thread 0x7fdfbb35f700 (LWP 23575) "MyThread3" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  14   Thread 0x7fdfba7ff700 (LWP 23576) "MyThread4" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  13   Thread 0x7fdfba5fe700 (LWP 23577) "MyThread5" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  12   Thread 0x7fdfba3fd700 (LWP 23578) "MyThread6" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  11   Thread 0x7fdfb8dfe700 (LWP 23580) "MyThread4" 0x00007fdfbb746193 in select () from /usr/lib/libc.so.6
  10   Thread 0x7fdfb8fff700 (LWP 23579) "MyThread7" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  9    Thread 0x7fdfb8bfd700 (LWP 23581) "MyThread8" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  8    Thread 0x7fdfb3fff700 (LWP 23582) "MyThread9" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  7    Thread 0x7fdfb3dfe700 (LWP 23583) "MyThread10" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  6    Thread 0x7fdfb3bfd700 (LWP 23584) "MyThread11" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  5    Thread 0x7fdfb2bff700 (LWP 23585) "MyThread12" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  4    Thread 0x7fdfb29fe700 (LWP 23586) "MyThread13" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  3    Thread 0x7fdfb27fd700 (LWP 23587) "MyThread14" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
  2    Thread 0x7fdfb1bff700 (LWP 23588) "MyThread15" 0x00007fdfbbe35a8d in nanosleep () from /usr/lib/libpthread.so.0
* 1    Thread 0x7fdfbc411800 (LWP 23574) "threads" 0x00007fdfbbe2e505 in pthread_join () from /usr/lib/libpthread.so.0
```
(I'm not sure why one of the threads is duplicated, but it does that without my patch too...)

rollup merge of #21495: richo/unexported-unmangled-lint

The usecase is that functions made visible to systems outside of the
rust ecosystem require the symbol to be visible.

This adds a lint for functions that are not exported, but also not mangled.

It has some gotchas:

[ ]: There is fallout in core that needs taking care of
[ ]: I'm not convinced the error message is correct
[ ]: It has no tests

~~However, there's an underlying issue which I'd like feedback on- which is that my belief that that non-pub functions would not have their symbols exported, however that seems not to be the case in the first case that this lint turned up in rustc (`rust_fail`), which intuition suggests has been working.~~

This seems to be a separate bug in rust, wherein the symbols are exported in binaries, but not in rlibs or dylibs. This lint would catch that case.

rollup merge of #21494: jatinn/jsnav

Added javascript code to insert next/prev links in the rust book.
Related Issue - https://github.com/rust-lang/rust/issues/20835

rollup merge of #21385: nick29581/save-fix2

r? @huonw

rollup merge of #20790: japaric/for-loops

As per [RFC #235][rfc], you can now do:

[rfc]: https://github.com/rust-lang/rfcs/blob/master/text/0235-collections-conventions.md#intoiterator-and-iterable

``` rust
let mut v = vec![1];

// iterate over immutable references
for x in &v {
    assert_eq!(x, &1);
}

// iterate over mutable references
for x in &mut v {
    assert_eq!(x, &mut 1);
}

// iterate over values, this consumes `v`
for x in v {
    assert_eq!(x, 1);
}
```

[breaking-change]s

For loops now "consume" (move) the iterator, this breaks iterating over mutable references to iterators, and also breaks multiple iterations over the same iterator:

``` rust
fn foo(mut it: &mut Iter) {  // `Iter` implements `Iterator`
    for x in it { .. }  //~ error: `&mut Iter` doesn't implement Iterator
}

fn bar() {
    for x in it { .. }  //~ note: `it` moved here
    for x in it { .. }  //~ error: `it` has been moved
}
```

Both cases can be fixed using the `by_ref()` adapter to create an iterator from the mutable reference:

``` rust
fn foo(mut it: &mut Iter) {
    for x in it.by_ref() { .. }
}

fn bar() {
    for x in it.by_ref() { .. }
    for x in it { .. }
}
```

This PR also makes iterator non-implicitly copyable, as this was source of subtle bugs in the libraries. You can still use `clone()` to explictly copy the iterator.

Finally, since the for loops are implemented in the frontend and use global paths to `IntoIterator`, `Iterator` and `Option` variants, users of the `core` crate will have to use add an `std` module to the root of their crate to be able to use for loops:

``` rust
#![no_std]

extern crate core;

fn main() {
    for x in 0..10 {}
}

#[doc(hidden)]
mod std {
    // these imports are needed to use for-loops
    pub use core::iter;
    pub use core::option;
}
```

---

r? @nikomatsakis @aturon
cc #18424
closes #18045

fix some cfail tests

fixes after rebase

s/while let/for/g now that #21245 has been fixed

add test for #21655

closes #21655

add test for #20605

closes #20605
closes #20989 (duplicate)
closes #21379 (duplicate)

fix recursive call

remove the `Iterator` lang item

smoke out remaining bugs

remove Copy impls from iterators

add tests

remove dead code

remove more `ExprForLoop`s

custom message for refutable patterns in for loops

fix tests

fix fallout

implement for loop desugaring

core: add the `IntoIterator` trait

Auto merge of #21717 - nick29581:prelude-fullrange, r=acrichto

r? @alexcrichton

lint: Add test for no_mangle

Auto merge of #21351 - eddyb:x-coerce--a-new-hope, r=nikomatsakis

Coercions will now attempt to autoderef as needed before reborrowing.
This includes overloaded `Deref`, e.g. `&Rc<T>` coerces to `&T`, and
`DerefMut`, e.g. `&mut Vec<T>` coerces to `&mut [T]` (in addition to `&[T]`).
Closes #21432.

rt: allow unexported functions

rust_panic is unexported, however the metadata exported will usually
include it for attaching breakpoints.

lint: warn about #[no_mangle] fns that aren't exported

The usecase is that functions made visible to systems outside of the
rust ecosystem require the symbol to be visible.

Change from core::ops::RangeFull to std::ops

Rename FullRange to RangeFull

Remove FullRange from the prelude etc.

Use absolute path to FullRange, rather than assuming it is in the prelude

Closes #21263

[breaking-change]

If you are using `core::ops::FullRange` you should change to using `core::ops::RangeFull`

Review changes

Make the save-analysis smoke test more thorough

save-anlaysis: misc bug fixes

In particular, handling of struct literals where the struct name is a type alias, and tuple indexing.

Plus some other stuff.

save-analysis: handle absolute paths properly

save-analysis: Use the correct span for `extern crate`

save-analysis: don't include the crate name in fully qualified paths

Auto merge of #21692 - pnkfelix:fsk-fix-coerce-match-20055, r=eddyb

trans: When coercing to `Box<Trait>` or `Box<[T]>`, leave datum in it's original L-/R-value state.

This fixes a subtle issue where temporaries were being allocated (but not necessarily initialized) to the (parent) terminating scope of a match expression; in particular, the code to zero out the temporary emitted by `datum.store_to` is only attached to the particular match-arm for that temporary, but when going down other arms of the match expression, the temporary may falsely appear to have been initialized, depending on what the stack held at that location, and thus may have its destructor erroneously run at the end of the terminating scope.

FIx #20055.

(There may be a latent bug still remaining in `fn into_fat_ptr`, but I am so annoyed by the test/run-pass/coerce_match.rs failures that I want to land this now.)

Implement deref coercions (rust-lang/rfcs#241).

rustc_typeck: cleanup coercion logic that has been obsolete/unused for a while now.

rustc_typeck: use FnCtxt in coercion, instead of mimicking a combiner.

rustc: move infer::coercion to rustc_typeck.

Auto merge of #21691 - edwardw:double-closure, r=nikomatsakis

It was considered to be impossible but actually it can
happen for nested closures. Also, because there must
be nested closures when this happens, we can use more
targeted help message.

Closes #21390
Closes #21600

rustdoc: Render new `self` syntax in `use`

Fix #21442

Auto merge of #21677 - japaric:no-range, r=alexcrichton

Note: Do not merge until we get a newer snapshot that includes #21374

There was some type inference fallout (see 4th commit) because type inference with `a..b` is not as good as with `range(a, b)` (see #21672).

r? @alexcrichton

bring back `#[derive(Show)]` with a deprecation warning

fix import in cfail test

s/Show/Debug/g

remove #[old_impl_check] now that #21363 has been fixed

register snaphots

undo some conversions

remove unused imports

fix inference fallout

convert remaining `range(a, b)` to `a..b`

`for x in range(a, b)` -> `for x in a..b`

sed -i 's/in range(\([^,]*\), *\([^()]*\))/in \1\.\.\2/g' **/*.rs

`range(a, b).foo()` -> `(a..b).foo()`

sed -i 's/ range(\([^,]*\), *\([^()]*\))\./ (\1\.\.\2)\./g' **/*.rs

Auto merge of #21730 - Manishearth:rollup, r=alexcrichton

Should clear our backlog of rollups from the queue

Auto merge of #21680 - japaric:slice, r=alexcrichton

Replaces `slice_*` method calls with slicing syntax, and removes `as_slice()` calls that are redundant due to `Deref`.

Auto merge of #21522 - nikomatsakis:assoc-type-ice-hunt-take-3, r=nick29581

Do not propagate the region requirements on the projected type to the input types it is being projected from.

Fixes #21520.

r? @aturon

Rollup merge of 21643 - semarie:break-local_stage0, r=brson

Rollup merge of 21651 - nelsonjchen:add--webkit-overflow-scrolling-touch-to-book-css, r=alexcrichton

Rollup merge of 21654 - FlaPer87:unify-impls, r=alexcrichton

Rollup merge of 21662 - oli-obk:hashmap_enum_json, r=alexcrichton

Rollup merge of 21663 - tbu-:pr_doc_cell_static_safety, r=alexcrichton

Rollup merge of 21671 - akiss77:pr-aarch64-fastisel0, r=alexcrichton

Rollup merge of 21681 - japaric:no-warn, r=alexcrichton

Rollup merge of 21708 - brson:internals, r=huonw

Rollup merge of 21711 - thepowersgang:patch-1, r=alexcrichton

Rollup merge of 21722 - orpheuslummis:patch-1, r=Gankro

Rollup merge of #21640 - retep998:rmdir, r=alexcrichton

`_wrmdir` is literally just a wrapper around `RemoveDirectoryW`, so let's just use `RemoveDirectoryW`.
r? @alexcrichton

Rollup merge of #21626 - Ms2ger:various-cleanup, r=eddyb

Auto merge of #21698 - Manishearth:rollup, r=alexcrichton

This should work now.

Merge remote-tracking branch 'origin/master' into rollup

Conflicts:
src/libcollections/slice.rs
src/libcore/nonzero.rs
src/libcore/ops.rs

Thread native name setting, fix #10302

Correct Orpheus Lummis's email and name

New email address, stylization of name.

Thread native name setting, fix #10302

Thread native name setting, fix #10302

Auto merge of #21019 - nikomatsakis:issue-20871-ret-as-assoc-type, r=nrc

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

r? @aturon (at least until we decide definitively if this is a good idea)

Add regression test for #21212. Fixes #21212.

Add new test for object method numbering mismatches.

Adjust comment per nrc's suggestion.

Add missing space to error message.

Update test files; mostly the problem is that they were using the
explicit form `Fn<A,B>` and now should use `Fn(A) -> B` or
`Fn<A,Output=B>`, but in some cases we get duplicate error
reports. This is mildly annoying and arises because of the main error
and another error from the projection. Might be worth squashing those,
but seems like a separate problem.

Update Rustdoc to deal with the Fn return type being an associated type.

Patch variance bug: appearing in a binding is an invariant position (at least right now).

Extract expectations from the projection obligation, which includes
all relevant information.

Add Clone to the list of bounds for a TypeFolder. (Kill?)

When pretty-printing object types, include the output associated type

Fix a latent bug in trait dispatch where we sometimes counted associated types
when constructing the vtable-index. Not good.

Move return type an associated type of the `Fn*` traits. Mostly this involves tweaking things in
the compiler that assumed two input types to assume two ouputs; we also have to teach `project.rs`
to project `Output` from the unboxed closure and fn traits.

Add the notion of normalizing a parameter environment and ensure that
all parameter environments are normalized. Correspondingly, stop
normalizing predicates we extract out of the environment. Fixes #21664.

Change list of predicates in ParameterEnvironment to a `Vec`.

In unsize_unique_expr, do not convert scratch value to lvalue.

Fix the issue-20055-box-trait.rs test to actually test `Box<Trait>`.

Fix #21695.

Remove unnecessary to_string() call.

Remove a custom variant of iter::Cloned.

Simplify the implementation of segments_name_eq.

Rename found_ast to FoundAst and qualify uses.

This matches contemporary Rust style.

Auto merge of #21158 - alkor:issue-21131, r=nick29581

Closes #21131