Auto merge of #35877 - KiChjang:issue-35869, r=arielb1

Fix ICE when arg types can't be found in impl/trait methods while comparing

Fixes #35869.

Auto merge of #35542 - scottcarr:visitor_refactor, r=nikomatsakis

[MIR] track Location in MirVisitor, combine Location

All the users of MirVisitor::visit_statement implement their own statement index tracking.  This PR move the tracking into MirVisitor itself.

Also, there were 2 separate implementations of Location that were identical.  This PR eliminates one of them.

Auto merge of #36008 - eddyb:compound-fail, r=michaelwoerister

Do not emit "class method" debuginfo for types that are not DICompositeType.

Fixes #35991 by restricting the "class method" debuginfo sugar from #33358 to structs and enums only.

r? @michaelwoerister

fix port for visit_statement

Auto merge of #35975 - jonathandturner:error_buffering, r=alexcrichton

Buffer unix and lock windows to prevent message interleaving

When cargo does a build on multiple processes, multiple crates may error at the same time.  If this happens, currently you'll see interleaving of the error messages, which makes for an unreadable message.

Example:

```
    --> --> src/bin/multithread-unix.rs:16:35src/bin/singlethread.rs:16:24

      ||

1616  | |     Server::new(&addr).workers(8).    Server::new(&addr).serveserve(|r: Request| {(|r: Request| {

      | |                                                          ^^^^^^^^^^ expected struct `std::io::Error`, found () expected struct `std::io::Error`, found ()

      ||

      = = notenote: expected type `std::io::Error`: expected type `std::io::Error`

      = = notenote:    found type `()`:    found type `()`

      = = notenote: required because of the requirements on the impl of `futures_minihttp::Service<futures_minihttp::Request, futures_minihttp::Response>` for `[closure@src/bin/multithread-unix.rs:16:41: 22:6]`: required because of the requirements on the impl of `futures_minihttp::Service<futures_minihttp::Request, futures_minihttp::Response>` for `[closure@src/bin/singlethread.rs:16:30: 22:6]`

error: aborting due to previous error

error: aborting due to previous error
```

This patch uses two techniques to prevent this interleaving.  On Unix systems, since they use the text-based ANSI protocol for coloring, we can safely buffer up whole messages before we emit.  This PR does this buffering, and emits the whole message at once.

On Windows, term must use the Windows terminal API to color the output.  This disallows us from using the same buffering technique.  Instead, here we grab a Windows mutex (thanks to @alexcrichton for the lock code).  This lock only works in Windows and will hold a mutex for the duration of a message output.

r? @nikomatsakis

Do not emit "class method" debuginfo for types that are not DICompositeType.

Auto merge of #35906 - jseyfried:local_prelude, r=eddyb

Use `#[prelude_import]` in `libcore` and `libstd`

r? @eddyb

Auto merge of #35885 - durka:gh35753, r=arielb1

modify fds-are-cloexec test to open a file that exists

Fixes #35753.

Is it a valid assumption that the current directory is always the root of the repo when the tests are run?

r? @nagisa

prevent error message interleaving on win/unix

Auto merge of #34923 - eddyb:deny-fn-item-transmute, r=nikomatsakis

Deny (by default) transmuting from fn item types to pointer-sized types.

This sets the #19925 lint (transmute from zero-sized fn item type) to `deny` by default.
Technically a `[breaking-change]`, but will not affect dependent crates because of `--cap-lints`.

use file!() even though it shouldn't be necessary

Auto merge of #35884 - habnabit:freebsd-arc4rand, r=alexcrichton

Use arc4rand(9) on FreeBSD

From rust-lang-nursery/rand#112:

>After reading through #30691 it seems that there's general agreement that using OS-provided facilities for seeding rust userland processes is fine as long as it doesn't use too much from libc. FreeBSD's `arc4random_buf(3)` is not only a whole lot of libc code, but also not even currently exposed in the libc crate. Fortunately, the mechanism `arc4random_buf(3)` et al. use for getting entropy from the kernel ([`arc4rand(9)`](https://www.freebsd.org/cgi/man.cgi?query=arc4random&apropos=0&sektion=9&manpath=FreeBSD+10.3-RELEASE&arch=default&format=html)) is exposed via `sysctl(3)` with constants that are already in the libc crate.

>I haven't found too much documentation on `KERN_ARND`—it's missing or only briefly described in most of the places that cover sysctl mibs. But, from digging through the kernel source, it appears that the sysctl used in this PR is very close to just calling `arc4rand(9)` directly (with `reseed` set to 0 and no way to change it).

I expected [rand](/rust-lang-nursery/rand) to reply quicker, so I tried submitting it there first. It's been a few weeks with no comment, so I don't know the state of it, but maybe someone will see it here and have an opinion. This is basically the same patch. It pains me to duplicate the code but I guess it hasn't been factored out into just one place yet.

Auto merge of #35979 - Manishearth:rollup, r=Manishearth

Rollup of 6 pull requests

- Successful merges: #35238, #35867, #35885, #35916, #35947, #35955
- Failed merges:

Rollup merge of #35955 - frewsxcv:idiomatic-methods, r=eddyb

Use idiomatic names for string-related methods names.

None

Rollup merge of #35947 - SimonSapin:decodeutf8-error-handling, r=alexcrichton

Yield Err in char::decode_utf8 per Unicode, like String::from_utf8_lossy

r? @alexcrichton

Rollup merge of #35916 - eddyb:mir-no-dead-allocas, r=Aatch

rustc_trans: do not generate allocas for unused locals.

This fixes a regression observed in a [`mio` test](https://travis-ci.org/carllerche/mio/jobs/152142886) which was referencing a 4MB `const` array.
Even though MIR rvalue promotion would promote the borrow of the array, a dead temp was left behind.
As the array doesn't have an immediate type, an `alloca` was generated for it, even though it had no uses.

The fix is pretty dumb: assume that locals need to be borrowed or assigned before being used.
And if it can't be used, it doesn't get an `alloca`, even if the type would otherwise demand it.
This could change in the future, but all the MIR we generate now doesn't break that rule.

Rollup merge of #35867 - frewsxcv:rustdoc-cleanup, r=alexcrichton

Various refactorings in the rustdoc module.

None

Rollup merge of #35238 - vadimcn:macro-debug-locs, r=michaelwoerister

Fix debug line number info for macro expansions.

Macro expansions result in code tagged with completely different debug locations than the surrounding expressions.  This wrecks havoc on debugger's ability the step over source lines.
This change fixes the problem by tagging expanded code as "inlined" at the macro expansion site, which allows the debugger to sort it out.
Note that only the outermost expansion is currently handled, stepping into a macro will still result in stepping craziness.

r? @eddyb

Fix debug line info for macro expansions.

Macro expansions produce code tagged with debug locations that are completely different from the surrounding expressions.  This wrecks havoc on debugger's ability the step over source lines.

In order to have a good line stepping behavior in debugger, we overwrite debug locations of macro expansions with that of the outermost expansion site.

Implement `From<ast::FloatTy>` for `PrimitiveType`.

Implement `From<ast::UintTy>` for `PrimitiveType`.

Implement `From<ast::IntTy>` for `PrimitiveType`.

Remove unnecessary 'Primitive' prefix on `PrimitiveType` enum variants.

Stop reexporting `PrimitiveType` enum in librustdoc.

Migrate ItemType::from_type_kind to convert::From.

Migrate ItemType::from_item to convert::From.

Migrate Context::maybe_ignore_item method to standalone function.

The method wasn't using any `self` data from Context, so it seemed
miseading to implement it as a method.

Move ItemEnum → Generics logic into method on ItemEnum.

Auto merge of #35814 - alexcrichton:armv7-no-neon, r=brson

rustc: Don't enable NEON by default on armv7 Linux

One of the primary platforms for the `armv7-unknown-linux-gnueabihf` target,
Linux distributions, do not enable NEON extensions by default. This PR disables
that feature by defualt but enables the `d16` feature which enables VFP3D16 that
distributions do enable.

Closes #35590

Auto merge of #35971 - jonathandturner:rollup, r=jonathandturner

Rollup of 4 pull requests

- Successful merges: #35876, #35920, #35948, #35961
- Failed merges: #35395

Remove needless imports in `libcollections`.

Use `#[prelude_import]` in `libstd`.

Use `#[prelude_import]` in `libcore`.

Auto merge of #35764 - eddyb:byegone, r=nikomatsakis

Remove the old AST-based backend from rustc_trans.

Starting with Rust 1.13, `--disable-orbit` , `-Z orbit=off` and `#[rustc_no_mir]` have been removed.
Only the new MIR backend is left in the compiler, and only early const_eval uses ASTs from other crates.

Filling drop (previously "zeroing drop"), `#[unsafe_no_drop_flag]` and associated unstable APIs are gone.
Implementing `Drop` doesn't add a flag anymore to the type, all of the dynamic drop is function local.
This is a [breaking-change], please use `Option::None` and/or `mem::forget` if you are unsure about your ability to prevent/control the drop of a value. In the future, `union` will be usable in some such cases.

**NOTE**: DO NOT MERGE before we get the new beta as the stage0, there's some cruft to remove.

All of this will massively simplify any efforts to implement (and as such it blocks) features such as `union`s, safe use of `#[packed]` or new type layout optimizations, not to mention many other experiments.

More robust testing

Extract error reporting into its own fn

Rollup merge of #35961 - 0xmohit:pr/error-codes-E0445-E0454, r=GuillaumeGomez

Update E0445 and E0454 to new error format

Fixes #35922.
Fixes #35930.
Part of #35233.

r? @GuillaumeGomez

Rollup merge of #35948 - tshepang:missing-comma, r=steveklabnik

reference: add trailing commas

Rollup merge of #35920 - GuillaumeGomez:err_codes, r=jonathandturner

Err codes

r? @jonathandturner

Rollup merge of #35876 - matthew-piziak:sub-examples, r=GuillaumeGomez

more evocative examples for `Sub` and `SubAssign`

These examples are exactly analogous to those in PRs #35709 and #35806. I'll probably remove the `fn main` wrappers for `Add` and `Sub` once this is merged in.

Part of #29365.

r? @steveklabnik

Auto merge of #35883 - durka:gh35849, r=eddyb

typeck: use NoExpectation to check return type of diverging fn

Fixes #35849.

Thanks @eddyb.

Update E0445 and E0454 to new error format

Fixes #35922.
Fixes #35930.
Part of #35233.

r? @GuillaumeGomez

Remove AST from metadata except for consts and const fns.

Remove drop flags from structs and enums implementing Drop.

rustc_trans: remove the bulk of old trans and most of its support code.

Disable old trans access via -Z orbit, #[rustc_no_mir] or --disable-orbit.

Add new error code tests

Add error code test checkup

Add E0478 error explanation

Auto merge of #35748 - michaelwoerister:fix-rust-gdb-py-version-check, r=brson

Make version check in gdb_rust_pretty_printing.py more compatible.

Some versions of Python don't support the `major` field on the object returned by `sys.version_info`.

Fixes #35724

r? @brson

Reuse iterator to avoid unnecessary creation.

Use idiomatic names for string-related methods names.

Auto merge of #35951 - GuillaumeGomez:rollup, r=GuillaumeGomez

Rollup of 6 pull requests

- Successful merges: #35910, #35912, #35913, #35936, #35939, #35949
- Failed merges: #35395

Rollup merge of #35949 - tshepang:excess, r=GuillaumeGomez

doc: one line too many

Rollup merge of #35939 - creativcoder:e0195, r=jonathandturner

Update E0195 to new error format

Fixes #35511
Part of #35233

r? @jonathandturner

Rollup merge of #35936 - matthew-piziak:div-rational-example, r=GuillaumeGomez

replace `Div` example with something more evocative of division

Analogous to PR #35860.

r? @GuillaumeGomez

Rollup merge of #35913 - frewsxcv:panic, r=steveklabnik

Mark panicking tests as `should_panic` instead of `no_run`.

None

Rollup merge of #35912 - brson:rust-installer, r=alexcrichton

Update rust-installer. Fixes #35840

cc @Diggsey

Rollup merge of #35910 - tbu-:pr_weird_linebreak, r=alexcrichton

Change a weird line break in `core::str`

doc: one line too many

reference: add trailing commas

Yield Err in char::decode_utf8 per Unicode, like String::from_utf8_lossy

Use a macro in test_decode_utf8 to preserve line numbers in panic messages.

Auto merge of #35854 - nikomatsakis:incr-comp-cache-hash-35549, r=mw

compute and cache HIR hashes at beginning

This avoids the compile-time overhead of computing them twice.  It also fixes
an issue where the hash computed after typeck is differen than the hash before,
because typeck mutates the def-map in place.

Fixes #35549.
Fixes #35593.

Some performance measurements suggest this `HashesMap` is very small in memory (unobservable via `-Z time-passes`) and very cheap to construct. I do see some (very minor) performance wins in the incremental case after the first run -- the first run costs more because loading the dep-graph didn't have any hashing to do in that case. Example timings from two runs  of `libsyntex-syntax` -- the (1) indicates first run, (2) indicates second run, and (*) indicates both together:

| Phase | Master | Branch |
| ---- | ---- | ---- |
| compute_hashes_map (1) | N/A | 0.343 |
| load_dep_graph (1) | 0 | 0 |
| serialize dep graph (1) | 4.190 | 3.920 |
| total (1) | 4.190 | 4.260 |
| compute_hashes_map (2) | N/A | 0.344 |
| load_dep_graph (2) | 0.592 | 0.252 |
| serialize dep graph (2) | 4.119 | 3.779 |
| total (2) | 4.71 | 4.375 |
| total (*) | 8.9 | 8.635 |

r? @michaelwoerister

fix stray comment

pacify the mercilous tidy

typeck: use NoExpectation to check return type of diverging fn

This fixes #35849, a regression introduced by the typeck refactoring
around TyNever/!.

Update E0195 to new error format

replace `Div` example with something more evocative of division

Analogous to PR #35860.

r? @GuillaumeGomez

consider DepNode::Krate to be an input

This seems not only more correct but allows us to write tests that check
whether the krate hash as a whole is clean/dirty

Auto merge of #35656 - Stebalien:fused, r=alexcrichton

Implement 1581 (FusedIterator)

* [ ] Implement on patterns. See https://github.com/rust-lang/rust/issues/27721#issuecomment-239638642.
* [ ] Handle OS Iterators. A bunch of iterators (`Args`, `Env`, etc.) in libstd wrap platform specific iterators. The current ones all appear to be well-behaved but can we assume that future ones will be?
* [ ] Does someone want to audit this? On first glance, all of the iterators on which I implemented `FusedIterator` appear to be well-behaved but there are a *lot* of them so a second pair of eyes would be nice.
* I haven't touched rustc internal iterators (or the internal rand) because rustc doesn't actually call `fuse()`.
* `FusedIterator` can't be implemented on `std::io::{Bytes, Chars}`.

Closes: #35602 (Tracking Issue)
Implements: rust-lang/rfcs#1581

make svh independent of item ordering

cache def-path hashes across all items

This seems like approx a 2x win on syntex_syntax.

rename HashesMap to IncrementalHashesMap

add regression test for #35593

Fixes #35593

Auto merge of #35627 - apasel422:coerce-cell, r=alexcrichton

Implement `CoerceUnsized` for `{Cell, RefCell, UnsafeCell}`

These impls are analogous to the one for `NonZero`. It's occasionally useful to be able to coerce the cell types when they're being used inside another abstraction. See Manishearth/rust-gc#17 for an example.

r? @eddyb

rustc_trans: do not generate allocas for unused locals.

Auto merge of #35766 - brson:bump, r=alexcrichton

Upgrade bootstrap compiler to 1.12

r? @alexcrichton

Mark panicking tests as `should_panic` instead of `no_run`.

Update rust-installer. Fixes #35840

Change a weird line break in `core::str`

Update cargo bootstrap rev and add fix for cargo#3005

Auto merge of #35908 - jonathandturner:rollup, r=jonathandturner

Rollup of 20 pull requests

- Successful merges: #35360, #35526, #35809, #35817, #35820, #35824, #35835, #35841, #35842, #35858, #35860, #35861, #35864, #35878, #35879, #35881, #35882, #35889, #35891, #35901
- Failed merges: #35395

Rollup merge of #35901 - terrynsun:configs, r=steveklabnik

Add sublime-rust to CONFIGS.md.

Just noticed it was missing!

r? @steveklabnik

Rollup merge of #35891 - munyari:book, r=steveklabnik

Add reference to `Self` in traits chapter (book)

Addresses #31891

"r? @steveklabnik

Rollup merge of #35889 - alevy:patch-1, r=GuillaumeGomez

Minor type in CONTRIBUTING.md

A single missing article

Rollup merge of #35882 - petrochenkov:patch-2, r=eddyb

rustc: Fix outdated comment

cc https://github.com/rust-lang/rust/issues/35870#issuecomment-241282692

r? @eddyb

Rollup merge of #35881 - matthew-piziak:rc-would-unwrap-example, r=GuillaumeGomez

add example for `Rc::would_unwrap`

Part of #29372

r? @steveklabnik

Rollup merge of #35879 - CryZe:patch-2, r=apasel422

Fix "Furthermore" Typo in String Docs

It used to say "Furtheremore" instead of "Furthermore".

Rollup merge of #35878 - matthew-piziak:ptr-assertions, r=GuillaumeGomez

replace `println!` statements with `assert!`ions in `std::ptr` examples

r? @steveklabnik

Rollup merge of #35864 - matthew-piziak:index-example, r=GuillaumeGomez

replace `Index` example with something more evocative of indexing

r? @steveklabnik

Rollup merge of #35861 - matthew-piziak:rem-example, r=GuillaumeGomez

replace `Rem` example with something more evocative

r? @steveklabnik

Rollup merge of #35860 - matthew-piziak:mul-example, r=GuillaumeGomez

replace `Mul` example with something more evocative of multiplication

I may have gone a bit overboard on this one. Numbers are fun.

Rollup merge of #35858 - shyaamsundhar:patch-1, r=GuillaumeGomez

E0435, E0437 & E0438 New Error Format

Part of #35801 , #35802 and #35803
r? @GuillaumeGomez

Hi! Please review the changes.

Rollup merge of #35842 - apasel422:typo, r=GuillaumeGomez

Fix typos in unix/rwlock.rs

r? @steveklabnik

Rollup merge of #35841 - kyrias:new-error-E0424, r=GuillaumeGomez

Update E0424 to the new error format

Fixes #35797.
Part of #35233.

r? @GuillaumeGomez

Rollup merge of #35835 - crypto-universe:E0426, r=jonathandturner

New format for E0426

Issue #35799 as a part of issue #35233
r? jonathandturner

Rollup merge of #35824 - GuillaumeGomez:err_codes, r=jonathandturner

Err codes

r? @jonathandturner

Rollup merge of #35820 - knight42:update-error-msg, r=jonathandturner

Updated E0054, E0423 & E0432 to new error format

Fixes #35791, #35796 and #35344, as part of #35233

r? @jonathandturner

Rollup merge of #35817 - wesleywiser:fix_35703, r=jonathandturner

Update E0503 to the new format

Fixes #35703
Part of #35233

r? @jonathandturner