Remove interior mutability from TraitDef by turning fields into queries.

Fix instability in GlobalMetadata::Impls ICH.

Make incr. comp. test case dependent on specific ICH instead of SVH

ICH: Hash lists of local trait impls as part of the HIR.

Auto merge of #41859 - froydnj:align-float-parts, r=sfackler

fix confusion about parts required for float formatting

The documentation for flt2dec doesn't match up with the actual
implementation, so fix the documentation to align with reality.
Presumably due to the mismatch, the formatting code for floats in
std::fmt can use correspondingly shorter arrays in some places, so fix
those places up as well.

Fixes #41304.

Auto merge of #41978 - alexcrichton:update-cargo, r=Mark-Simulacrum

Update the Cargo submodule

Brings some nice updates like faster index clones/updates, retries on 500 from
crates.io, etc.

Auto merge of #41969 - Enet4:update-rls-313, r=Mark-Simulacrum

Update RLS to solve serious crash

As a follow-up to rust-lang-nursery/rls#312, this PR contains the fix to the latest experienced RLS crashes, which should hopefully reach the nightly release as soon as possible.

Auto merge of #41987 - Mark-Simulacrum:rollup, r=Mark-Simulacrum

Rollup of 7 pull requests

- Successful merges: #41612, #41826, #41939, #41946, #41950, #41975, #41979
- Failed merges:

Rollup merge of #41979 - pftbest:msp430_libcalls, r=alexcrichton

LLVM: Add support for EABI-compliant libcalls on MSP430.

This change will allow rust code to have proper support for division
and multiplication using libgcc.

r? @alexcrichton
cc @awygle

Rollup merge of #41975 - liranringel:pass-static-crt-to-llvm-cmake-config, r=alexcrichton

Pass static crt to llvm cmake configuration

Solves https://github.com/rust-lang/rust/issues/40246

Rollup merge of #41950 - GuillaumeGomez:rustdoc-links, r=frewsxcv

Fix anchor invalid redirection to search

Fixes #41933.

r? @rust-lang/docs

Rollup merge of #41946 - qnighy:disallow-dot-underscore-in-float, r=petrochenkov

Disallow ._ in float literal.

This patch makes lexer stop parsing number literals before `._`, as well as before `.a`. Underscore itself is still allowed like in `4_000_000.000_000_`.

Fixes a half part of #41723. The other is `""_`.

Rollup merge of #41939 - eddyb:trait-assoc-const-default, r=petrochenkov

rustc_resolve: don't deny outer type parameters in embedded constants.

This solves a problem noted at https://github.com/rust-lang/rust/issues/29646#issuecomment-300929548, where an associated const default in a trait couldn't refer to `Self` or type parameters, due to inaccuracies in lexical scoping.

I've also allowed "embedded expressions" (`[T; expr]`,  `[x; expr]`, `typeof expr`) to refer to type parameters in scope. *However*, the typesystem still doesn't handle #34344.
Fully resolving that issue requires breaking cycles more aggressively (e.g. lazy evaluation), *even* in when the expression doesn't depend on type parameters, to type-check it at all, and then also type-level "constant projections" (in the vein of `{expr}` from const generics).

Rollup merge of #41826 - GuillaumeGomez:add-markdown-content, r=frewsxcv

Add markdown-[before|after]-content options

cc @nical

r? @rust-lang/docs

Rollup merge of #41612 - mandeep:add-ops-generics, r=GuillaumeGomez,frewsxcv

Added generic example of std::ops::Add in doc comments

We discussed on IRC how the std::ops examples were potentially missing examples using generics. This PR adds an example to std::ops::Add that shows the use of a generic type T. I'm not sure this is ready for merge as I think the two examples now make the documentation a bit verbose, but I think it's a good starting point. I'd love to hear others thoughts on this. This is in relation to the last item in issue #29365.

Update rls submodule with important fixes

- Updates ls_types to "0.10.0", which prevents RLS crashes

Auto merge of #41919 - nrc:save-crate, r=eddyb

Include the crate's root module in save-analysis

r? @eddyb

LLVM: Add support for EABI-compliant libcalls on MSP430.

This change will allow rust code to have proper support for division
and multiplication using libgcc libcalls.

Update the Cargo submodule

Brings some nice updates like faster index clones/updates, retries on 500 from
crates.io, etc.

Auto merge of #41914 - eddyb:region-refactor, r=nikomatsakis

rustc: simpler ParameterEnvironment and free regions.

The commits describe the slow transformation but the highlights are:
* `ReEarlyBound` is considered free, with a scope based on the item that defined the lifetime parameter, and the root body of the `RegionMaps` in use, removing the need for `free_substs`
* `liberate_late_bound_regions` and `implicit_region_bound` moved to typeck
* `CodeExtent` not interned at all now - ideally it would be 2 `u32` but it's small anyway

Future work building up on this could include:
* `ParameterEnvironment` becoming just the result of `predicates_of`
  * interning makes my "parent chain" scheme unnecessary
* `implicit_region_bound` could be retrieved from `RegionMaps`
* renaming `CodeExtent` to `Scope`
  * generalizing "call site" to "use site" or something better to include constants
* renaming `RegionMaps` to `ScopeTree` and its API to talk about "parents" explicitly

Pass static crt to llvm cmake configuration

rustc_resolve: don't deny outer type parameters in embedded constants.

rustc: don't keep a second reference to the HIR map in middle::region.

rustc: stop interning CodeExtent, it's small enough.

rustc: remove redundant fn_id's from CodeExtentData.

rustc: treat ReEarlyBound as free without replacing it with ReFree.

rustc_typeck: do not leak late-bound lifetimes from bounds to closures.

rustc: move liberate_late_bound_regions to rustc_typeck.

rustc: use DefId instead of CodeExtent for FreeRegion's scope.

rustc_mir: remove unnecessary drop scope for constants.

rustc: use call_site_extent for closure environment free regions.

rustc: uniformly compute ParameterEnvironment's "free outlive scope".

Auto merge of #41920 - arielb1:inline-drop, r=eddyb

remove the #[inline] attribute from drop_in_place

Apparently LLVM has exponential code growth while inlining landing pads
if that attribute is present.

Fixes #41696.

beta-nominating  because regression.
r? @eddyb

add min-llvm-version

Auto merge of #41965 - Mark-Simulacrum:rollup, r=Mark-Simulacrum

Rollup of 15 pull requests

- Successful merges: #41820, #41860, #41876, #41896, #41912, #41916, #41918, #41921, #41923, #41934, #41935, #41940, #41942, #41943, #41951
- Failed merges:

Auto merge of #41861 - arthurprs:update-jemalloc, r=alexcrichton

Update jemalloc to 4.5.0

* pointing jemalloc submodule to the 4.5.0 HEAD + generated configure script
* removed the now unnecessary extra config for windows. jemalloc is now much better at configuring itself overall.

Let's see what the CI think.

Auto merge of #41847 - alexcrichton:less-unstable-annotations, r=eddyb

rustc: Add a new `-Z force-unstable-if-unmarked` flag

This commit adds a new `-Z` flag to the compiler for use when bootstrapping the
compiler itself. We want to be able to use crates.io crates, but we also want
the usage of such crates to be as ergonomic as possible! To that end compiler
crates are a little tricky in that the crates.io crates are not annotated as
unstable, nor do they expect to pull in unstable dependencies.

To cover all these situations it's intended that the compiler will forever now
bootstrap with `-Z force-unstable-if-unmarked`. This flags serves a dual purpose
of forcing crates.io crates to themselves be unstable while also allowing them
to use other "unstable" crates.io crates. This should mean that adding a
dependency to compiler no longer requires upstream modification with
unstable/staged_api attributes for inclusion!

Rollup merge of #41951 - Eijebong:master, r=GuillaumeGomez

rustdoc: Break words in the location box of the sidebar.

This prevents long names from overflowing.

Before:

After:

Rollup merge of #41943 - malbarbo:android-openssl, r=alexcrichton

bootstrap: openssl android support

Rollup merge of #41942 - tommyip:master, r=Mark-Simulacrum

Fix unexpected panic with the -Z treat-err-as-bug option

This fix an issue where the compiler panics even if there is no error when passed with the `-Z treat-err-as-bug` option.

Fixes #35886.

r? @Mark-Simulacrum

Rollup merge of #41940 - est31:master, r=eddyb

config.toml.example: point out that optimize = false won't speed up a full bootstrap

Originally I've learned about this by @eddyb pointing this out to me over IRC, and after having told someone today the same over IRC I've thought that this is a common mistake and should be prevented by a note in config.toml.example

r? @eddyb

Rollup merge of #41935 - iKevinY:detect-empty-files, r=Mark-Simulacrum

Add tidy check to detect empty files

Addresses #18439.

Rollup merge of #41934 - est31:remove_unused_macros, r=nagisa

Remove unused macros from the codebase

Thanks to the lint I've implemented in #41907 I've found some unused macros inside the rustc codebase.

Rollup merge of #41923 - eddyb:issue-41744, r=arielb1

rustc_trans: do not attempt to truncate an i1 const to i1.

Fixes #41744 by skipping the truncation when it'd be a noop anyway.

Rollup merge of #41921 - GuillaumeGomez:fix-search-style, r=steveklabnik

Fix search when looking to sources

Before:

<img width="1440" alt="screen shot 2017-05-11 at 22 33 28" src="https://cloud.githubusercontent.com/assets/3050060/25970761/03fd2ade-369a-11e7-9fd6-783c23455589.png">

After:

<img width="1440" alt="screen shot 2017-05-11 at 22 34 05" src="https://cloud.githubusercontent.com/assets/3050060/25970770/09ac71ce-369a-11e7-9038-559f414e07b5.png">

r? @rust-lang/docs

Rollup merge of #41918 - brson:lic, r=alexcrichton

Annotate the license exceptions

Rollup merge of #41916 - mglagla:typo, r=sfackler

Fix typo in Iterator::size_hint example comment

Rollup merge of #41912 - oli-obk:patch-3, r=eddyb

Upgrade some comments to doc comments

Rollup merge of #41896 - tshepang:too-long, r=steveklabnik

doc: break into 2 sentences

Rollup merge of #41876 - oli-obk:diagnosing_diagnostics, r=nagisa

Refactor suggestion diagnostic API to allow for multiple suggestions

r? @jonathandturner

cc @nrc @petrochenkov

Rollup merge of #41860 - mbrubeck:docs, r=nagisa

Remove wrong or outdated info from CString docs.

None

Rollup merge of #41820 - devurandom:patch-1, r=alexcrichton

bootstrap: Output name of failed config in case of errors

Auto merge of #41955 - alexcrichton:update-sccache, r=eddyb

Update sccache binaries to mozilla/sccache@d3627d766

This commit updates the sccache binaries to fix a cache load failure seen
on #41926, fixed by mozilla/sccache#119

Fix anchor invalid redirection to search

Auto merge of #41926 - arielb1:box-mir, r=eddyb

box large variants in MIR

Operand: 72 -> 24 B
Statement: 192 -> 96 B
Terminator: 256 -> 112 B
librustc translation memory usage: 1795 -> 1669 MB

next step would be interning lvalues, I suppose?

cc #36799 (@urschrei - does ostn15_phf compile with this PR?)

r? @eddyb

Add tidy check to detect empty files

Addresses #18439.

Update sccache binaries to mozilla/sccache@d3627d766

This commit updates the sccache binaries to fix a cache load failure seen
on #41926, fixed by mozilla/sccache#119

rustdoc: Break words in the location box of the sidebar.

This prevents long names from overflowing.

Disallow ._ in float literal.

Fix unexpected panic with the -Z treat-err-as-bug option

This fix an issue where the compiler panics even if there is no
error when passed with the `-Z treat-err-as-bug` option.

Fixes #35886.

config.toml.example: add note that optimize = false won't speed up a full bootstrap

Don't use a DUMMY_SP for reporting issues with crate imports

Weave the span of an import through the resolve code

Remove some unused macros from the rust codebase

Removes unused macros from:
  * libcore
  * libcollections
    The last use of these two macros was removed in commit
    b64c9d56700e2c41207166fe8709711ff02488ff
    when the char_range_at_reverse function was been removed.
  * librustc_errors
    Their last use was removed by commits
    2f2c3e178325dc1837badcd7573c2c0905fab979
    and 11dc974a38fd533aa692cea213305056cd3a6902.
  * libsyntax_ext
  * librustc_trans
    Also, put the otry macro in back/msvc/mod.rs under the
    same cfg argument as the places that use it.

Auto merge of #41757 - alexcrichton:stabilize-crt-static, r=japaric

rustc: Stabilize `-C target-feature=+crt-static`

This commit stabilizes the `crt-static` feature accepted by the compiler. Note
that this does not stabilize the `#[cfg]` attribute for `crt-static` as
that's going to be covered by #29717. This only stabilizes a few small pieces:

* The `crt-static` feature as accepted by the `-C target-feature` flag, and its
  connection with the platform-specific definition of `crt-static`.
* The semantics of `--print cfg` printing out activated `crt-static` feature, if
  available.

This should be enough to get the benefits of `crt-static` on stable Rust with
MSVC and with musl, but sidsteps the issue of stabilizing #29717 first.

Closes #37406

Auto merge of #41716 - nikomatsakis:issue-41677, r=arielb1

enforce WF conditions after generalizing

Add a `WF(T')` obligation after generalizing `T` to `T'`, if `T'` contains an unconstrained type variable in a bivariant context.

Fixes #41677.

Beta nominating -- regression.

r? @arielb1

rustc: Remove #![unstable] annotation

These are now no longer necessary with `-Z force-unstable-if-unmarked`

rustbuild: Use `-Z force-unstable-if-unmarked`

box large variants in MIR

Operand: 72 -> 24 B
Statement: 192 -> 96 B
Terminator: 256 -> 112 B
librustc translation memory usage: 1795 -> 1669 MB

next step would be interning lvalues, I suppose?

Auto merge of #41684 - jethrogb:feature/ntstatus, r=alexcrichton

Windows io::Error: also format NTSTATUS error codes

`NTSTATUS` errors may be encoded as `HRESULT`, see [[MS-ERREF]](https://msdn.microsoft.com/en-us/library/cc231198.aspx). These error codes can still be formatted using `FormatMessageW` but require some different parameters to be passed in.

I wasn't sure if this needed a test and if so, how to test it. Presumably we wouldn't want to make our tests dependent on localization-dependent strings returned from `FormatMessageW`.

Users that get an `err: NTSTATUS` will need to do `io::Error::from_raw_os_error(err|0x1000_0000)` (the equivalent of [`HRESULT_FROM_NT`](https://msdn.microsoft.com/en-us/library/ms693780(VS.85).aspx))

rustc_trans: do not attempt to truncate an i1 const to i1.

Fix search when looking to sources

remove the #[inline] attribute from drop_in_place

Apparently LLVM has exponential code growth while inlining landing pads
if that attribute is present.

Fixes #41696.

Annotate the license exceptions

Pass crate attributes in visit.rs

correct various error messages that changed

The new messages seem universally better. I think these result because
we recognize that we are in an invariant context more often.

add a WF obligation if a type variable appears in bivariant position

replace the type generalizer with one based on variance

Fix typo in size_hint example comment

Auto merge of #41913 - nikomatsakis:issue-41849-variance-cycle, r=eddyb

do not fetch variance for items when equating

Fixes #41849. Problem was that evaluating the constant expression
required evaluating a trait, which would equate types, which would
request variance information, which it would then discard. However,
computing the variance information would require determining the type of
a field, which would evaluate the constant expression.

(This problem will potentially arise *later* as we move to more sophisticated
constants, however, where we need to check subtyping. We can tackle that
when we come to it.)

r? @eddyb

Add test

Added generic example of std::ops::Add in doc comments

Added blank lines around example

Added comment to Add example referencing the Output type

Removed whitespace from lines 272 and 273

Removed Debug derivation from Add examples

Added Debug derivation

Upgrade some comments to doc comments

do not fetch variance for items when equating

Fixes #41849. Problem was that evaluating the constant expression
required evaluating a trait, which would equate types, which would
request variance information, which it would then discard. However,
computing the variance information would require determining the type of
a field, which would evaluate the constant expression.

(This problem will potentially arise *later* as we move to more sophisticated
constants, however, where we need to check subtyping. We can tackle that
when we come to it.)

Auto merge of #41864 - malbarbo:android-docker, r=alexcrichton

Add disabled android host builders

Introduce the concept of disabled builder. A disabled builder is one that is not run by travis. It is intended to be run by the user who wants a rustc for a tier 2 or 3 platform. Off corse, there is no guarantee that it will work.

Address PR reviews

Auto merge of #41863 - malbarbo:update-android-builder, r=alexcrichton

ci: Update android ndk and sdk

Make install-sdk.sh and install-ndk.sh more generic so future updates can be made directly on Dockerfile. Update ndk to r13b, which will be necessary to make host builds for android (in the future). Update sdk to r25.2.5 (maybe some emulator performance improvement).

Auto merge of #41905 - frewsxcv:rollup, r=frewsxcv

Rollup of 5 pull requests

- Successful merges: #41192, #41724, #41873, #41877, #41889
- Failed merges:

Ensure we walk the root module of the crate

doc: break into 2 sentences

Rollup merge of #41889 - est31:master, r=estebank

Remove debug message

It was added by me in #41293. Sorry about that!

Thanks goes to @alexbool for finding it.

Rollup merge of #41877 - eddyb:gdb-force-rust, r=michaelwoerister

compiletest: force GDB to print values in the Rust format.

Based on @nodakai's https://github.com/rust-lang/rust/issues/40557#issuecomment-294368330 and @infinity0's https://github.com/rust-lang/rust/issues/40557#issuecomment-300133591.
Fixes #40557.

Rollup merge of #41873 - michaelwoerister:fix-filemap-hash-lookup, r=nikomatsakis

ICH: Handle case of removed FileMaps.

This PR fixes a bug introduced in #41709 where removing a source file between compilation sessions would cause an ICE:
https://travis-ci.org/rust-icci/crossbeam/jobs/230582234#L633

r? @nikomatsakis

Rollup merge of #41724 - achernyak:master, r=nikomatsakis

More Queries for Crate Metadata

This covers a little bit of clean up and the following parts of #41417:
* `fn item_attrs(&self, def_id: DefId) -> Vec<ast::Attribute>;`
* `fn fn_arg_names(&self, did: DefId) -> Vec<ast::Name>;`
* `fn trait_of_item(&self, def_id: DefId) -> Option<DefId>;`
* `fn impl_parent(&self, impl_def_id: DefId) -> Option<DefId>;`
* ` fn is_foreign_item(&self, did: DefId) -> bool;`
* `fn is_exported_symbol(&self, def_id: DefId) -> bool;`

r? @nikomatsakis

Rollup merge of #41192 - zackw:eprintln, r=alexcrichton

Add `eprint!` and `eprintln!` macros to the prelude.

These are exactly the same as `print!` and `println!` except that they write to stderr instead of stdout.  Issues #39228 and #40528; previous PR #39229; accepted RFC rust-lang/rfcs#1869; proposed revision to The Book rust-lang/book#615.

I have _not_ revised this any since the original submission; I will do that later this week.  I wanted to get this PR in place since it's been quite a while since the RFC was merged.

Known outstanding review comments:

* [x] @steveklabnik requested a new chapter for the unstable version of The Book -- please see if the proposed revisions to the second edition cover it.
* [x] @nodakai asked if it were possible to merge the internal methods `_print` and `_eprint` - not completely, since they both refer to different internal globals which we don't want to expose, but I will see if some duplication can be factored out.

Please let me know if I missed anything.

Auto merge of #41900 - nrc:update-rls, r=Mark-Simulacrum

Update RLS

Pulls in crucial dependency updates which fix a serious RLS bug

Update RLS

Pulls in crucial dependency updates which fix a serious RLS bug

Auto merge of #41862 - GuillaumeGomez:improve-e0477, r=nagisa

Improve E0477 error message

Part of #41816.

r? @nagisa

Skip print-stdout-eprint-stderr test on emscripten

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

Rollup of 5 pull requests

- Successful merges: #41531, #41536, #41809, #41854, #41886
- Failed merges: