Clean up comment

Elaborate on the details in some comments

Elaborate on comments

Promoteds can contain raw pointers, but these must still only point to immutable allocations

Auto merge of #68221 - ehuss:update-cargo-rls, r=alexcrichton

Update cargo rls

## cargo

12 commits in 6e1ca924a67dd1ac89c33f294ef26b5c43b89168..ad3dbe10e1e654fb1f032a5dd9481d7cbaa00d65
2020-01-06 19:11:37 +0000 to 2020-01-13 21:37:15 +0000
- Add named config profiles. (rust-lang/cargo#7750)
- Make cargo-rustc crate-type-aware (rust-lang/cargo#7755)
- Rename `Kind` (rust-lang/cargo#7791)
- Update bash completion (rust-lang/cargo#7789)
- Add another curl spurious network error (rust-lang/cargo#7788)
- Some small tweaks around error in configuration (rust-lang/cargo#7783)
- Fix tests with `url` crate update (rust-lang/cargo#7787)
- Fix .gitignore of Cargo.lock in a subdirectory. (rust-lang/cargo#7779)
- Bump crates-io (rust-lang/cargo#7778)
- Migrate from the `failure` crate to `anyhow` (rust-lang/cargo#7776)
- Fix several needless_borrow clippy lints. (rust-lang/cargo#7771)
- Fix some links (rust-lang/cargo#7770)

## rls

2 commits in 7c0489c5ff4f5c594e65a3b22efd9ce373deab9b..b27e1173969639448cd2e486b1c5f0fcb1b3b17c
2020-01-04 20:15:37 +0100 to 2020-01-13 11:40:20 +0100
- Update Cargo (rust-lang-nursery/rls#1613)
- Rustup to rust-lang/rust#68024 (rust-lang-nursery/rls#1612)

Add tests

wrap expr id into GeneratorInteriorTypeCause

Update E0170.md

Auto merge of #66329 - ktrianta:mir-opt-unreachable-propagation, r=oli-obk

Add unreachable propagation mir optimization pass

@oli-obk suggested we create a MIR pass that optimizes away basic blocks that lead only to basic blocks with terminator kind **unreachable**. This is a first take on this, which we started with @gilescope at RustFest Impl Days.

The test currently fails when the compiled program runs (undefined behaviour). Is there a way to avoid running the compiled program?

Auto merge of #68118 - skinny121:eager_lit_eval, r=varkor

perf: Eagerly convert literals to consts

Previousely even literal constants were being converted to an `Unevaluted` constant for evaluation later. This seems unecessary as no more information is needed to be able to convert the literal to a mir constant.

Hopefully this will also minimise the performance impact of #67717, as far less constant evaluations are needed.

Account for `Path`s on `is_suggestable_infer_ty`

Fix #68162.

Replace old tables with new unicode data

Add support code for new unicode_data module

Add unicode table generator

Avoid calling tcx.hir().get() on CRATE_HIR_ID

This was causing an ICE when enabling trace logging for an unrelated
module, since the arguments to `trace!` ended up getting evaluated

Update to a version of compiler_builtins with changes for fixes remainder for aarch64 windows

Better support for cross compilation on Windows.

Update to a version of cmake with windows arm64 support

Update iovec to a version with no winapi dependency

Update libssh2-sys to a version that can build for aarch64-pc-windows-msvc

Update the wasi-libc bundled with libstd

Fix normalizing 32bit symbol hash.

Update rustfix in compiletest.

Update cargo, rls

Implement `finish_non_exhaustive` for `DebugStruct`.

update async-await send/sync test

Untangle ZST validation from integer validation and generalize it to all zsts

Auto merge of #67711 - Amanieu:fix_unwind_leak, r=alexcrichton

Fix memory leak if C++ catches a Rust panic and discards it

If C++ catches a Rust panic using `catch (...)` and then chooses not to rethrow it, the `Box<dyn Any>` in the exception may be leaked. This PR fixes this by adding the necessary destructors to the exception object.

r? @Mark-Simulacrum

suggest to limit lifetime of temporary borrow with let

record generoator interior exprs in typecktable

Add failing example for E0170 explanation

Update APIs according to RFC change suggestions.

Auto merge of #67076 - mbrubeck:condvar, r=dtolnay

Stabilize Condvar::wait_while and wait_timeout_while (previously wait_until, wait_timeout_until)

Closes #47960.

Normalize symbol hash in ui test for legacy symbol mangling, as it's dependent on the
number of bits within consts.

Add unreachable propagation mir optimization pass

Auto merge of #68201 - JohnTitor:rollup-26e39gu, r=JohnTitor

Rollup of 10 pull requests

Successful merges:

 - #67854 (Use `report_in_external_macro` for internal lints)
 - #67989 (rustdoc: Don't allow `#![feature(...)]` on stable or beta)
 - #68036 (libterm: parse extended terminfo format)
 - #68127 (Clarify the relationship between `extended` and `tools` in `config.toml`)
 - #68143 (Forbid elided lifetimes within const generic parameter types)
 - #68150 (Document behavior of set_nonblocking on UnixListener)
 - #68166 (rustdoc: HTML escape arrows on help popup)
 - #68176 (Clean up err codes)
 - #68179 (Remove unneeded scope)
 - #68188 (Tweak assertion note in format check)

Failed merges:

r? @ghost

Rollup merge of #68188 - JohnTitor:tweak-assertion-note, r=Mark-Simulacrum

Tweak assertion note in format check

It's informative to tell the existence of `--bless` flag if we're running `tidy`.

Rollup merge of #68179 - JohnTitor:nll-scope, r=varkor

Remove unneeded scope

Now, we can remove this scope.

Rollup merge of #68176 - GuillaumeGomez:clean-up-err-codes, r=Dylan-DPC

Clean up err codes

r? @Dylan-DPC

Rollup merge of #68166 - ollie27:rustdoc_help_escape, r=GuillaumeGomez

rustdoc: HTML escape arrows on help popup

r? @GuillaumeGomez

Rollup merge of #68150 - tillarnold:master, r=cramertj

Document behavior of set_nonblocking on UnixListener

The description on `set_nonblocking` in `UnixListener` was rather brief so I adapted it to be more like the documentation of  `set_nonblocking` in `TcpListener`.

Rollup merge of #68143 - skinny121:const-param-type-elided-lifetime, r=petrochenkov

Forbid elided lifetimes within const generic parameter types

Disallows `fn foo<const T: &u32>()`, the lifetime must be explicitly given, i.e. `fn foo<const T: &'static u32>()`.

Fixes #67883

Rollup merge of #68127 - varkor:clarify-extended-option, r=alexcrichton

Clarify the relationship between `extended` and `tools` in `config.toml`

I.e. `tools` is only effective if `extended = true`. Alternatively, we could make `tools = []` by default and remove `extended` (although we'd want to list the possible options), but improving the description seems sufficient to solve the issue.

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

Rollup merge of #68036 - euclio:libterm-ncurses6-fix, r=KodrAus

libterm: parse extended terminfo format

Fixes #45728.

Modifies libterm to parse the extended terminfo format introduced in ncurses 6.1. This fixes the lack of color in test output for users with newer ncurses versions.

The ideal fix for this would be to migrate libtest to use `termcolor` (https://github.com/rust-lang/rust/issues/60349), but that's blocked for the foreseeable future.

Rollup merge of #67989 - ollie27:rustdoc_unstable, r=GuillaumeGomez

rustdoc: Don't allow `#![feature(...)]` on stable or beta

Fixes #67647

r? @GuillaumeGomez

Rollup merge of #67854 - afnanenayet:afnan/report-external-macro-lints, r=petrochenkov

Use `report_in_external_macro` for internal lints

Add the option to report lints in external macros for rustc internal lints to resolve #66370

Tweak assertion note in fmt

Auto merge of #68183 - JohnTitor:clippy-up, r=JohnTitor

Update Clippy

Fixes #68107

r? @ghost

Code review changes and fix rustdoc test.

perf: eagerly convert literals to consts, this avoids creating loads on unevaluated consts
which requires a lot of unnecessary work to evaluate them further down the line.

Auto merge of #68088 - oli-obk:fix_miri, r=RalfJung

Don't try to force_ptr pointers to zsts

r? @RalfJung

cc @wesleywiser

This is required to fix miri after https://github.com/rust-lang/rust/pull/67501 broke it. The reason only miri sees this is that it uses validation on values during interpretation and not just on the final value of constants, which never contain such values.

Early abort validation of arrays of zsts because there is no data to be checked

Update Clippy

Do not forget to provide queries.

Clean up E0192 explanation

Clean up E0191 explanation

Remove unneeded scope

Fix destructor in emcc.rs

Auto merge of #67850 - GuillaumeGomez:err-codes-checkup, r=Mark-Simulacrum

Error codes checkup and rustdoc test fix

This PR does a few things:

 * fix how rustdoc checks that an error code has been thrown (it only checked for "E0XXX" so if it appeared in the output because the file has it in its name or wherever, it passed the test, which was incorrect)
 * fix the failing code examples that weren't throwing the expected error code

Move to new crate rustc_ty.

Use TraitQueryMode::Canonical when testing predicates in const prop

Add "--emit=link"

This avoids a strange linker error that we get with only "--emit=mir"
and "check-pass"

Convert test to check-pass

Fix typo

Add additional regression test

Don't run const propagation on items with inconsistent bounds

Using `#![feature(trivial_bounds)]`, it's possible to write functions
with unsatisfiable 'where' clauses, making them uncallable. However, the
user can act as if these 'where' clauses are true inside the body of the
function, leading to code that would normally be impossible to write.

Since const propgation can run even without any user-written calls to a
function, we need to explcitly check for these uncallable functions.

Auto merge of #68174 - JohnTitor:rollup-ix4amrj, r=JohnTitor

Rollup of 8 pull requests

Successful merges:

 - #67313 (Document more use cases of dataflow)
 - #67959 (rustdoc: improve stability mark arrows)
 - #68097 (Specify units for test timeout environment variables)
 - #68135 (restore some rustc_parse visibilities for rustfmt)
 - #68145 (Expose `context::CheckLintNameResult`)
 - #68156 (Fix crate paths in comments)
 - #68157 (Clean up E0186 explanation)
 - #68161 (Fix system call docs for time::Instant)

Failed merges:

r? @ghost

Rollup merge of #68161 - ruuda:fix-instant-docs, r=rkruppe

Fix system call docs for time::Instant

The link for UNIX was pointing to the Cloud ABI docs. It should have been pointing to the `clock_gettime` docs instead. A similar table is repeated in the docs for `SystemTime`, but there the UNIX entry was already correct.

`clock_gettime(CLOCK_MONOTONIC)` is the current implementation: https://github.com/rust-lang/rust/blob/3ebcfa1451cfedc13a07e6353d8ade9742dfdc2a/src/libstd/sys/unix/time.rs#L274
https://github.com/rust-lang/rust/blob/3ebcfa1451cfedc13a07e6353d8ade9742dfdc2a/src/libstd/sys/unix/time.rs#L348-L352

r? @steveklabnik

Rollup merge of #68157 - GuillaumeGomez:clean-up-e0186, r=Dylan-DPC

Clean up E0186 explanation

r? @Dylan-DPC

Rollup merge of #68156 - JohnTitor:fix-path-in-doc, r=Dylan-DPC

Fix crate paths in comments

Tiny follow-up of #67806 and others

r? @Centril

Rollup merge of #68145 - JohnTitor:pub-check-lint-name-result, r=Centril

Expose `context::CheckLintNameResult`

Clippy needs it

r? @Centril

Rollup merge of #68135 - calebcartwright:rustc-parse-visibilities, r=Centril

restore some rustc_parse visibilities for rustfmt

In https://github.com/rust-lang/rust/pull/65495/commits/c189565edc5c9fc516170885b3a3061b936205fb some visibilities were reduced on the parse mod (which now resides in the rustc_parse crate) as part of some refactoring and splitting up of libsyntax. However, rustfmt needs access to a few of those items that are no longer visible.

This restores the visibility on those items rustfmt depends on.

https://github.com/rust-lang/rustfmt/issues/3903#issuecomment-563596269
https://github.com/rust-lang/rustfmt/issues/4009

cc @topecongiro

Rollup merge of #68097 - MikailBag:master, r=shepmaster

Specify units for test timeout environment variables

I think it is not obvious (I got it from reading libtest sources), so it is worth mentioning in docs.

Rollup merge of #67959 - liigo:patch-13, r=GuillaumeGomez

rustdoc: improve stability mark arrows

### current


### new


### new dark


Rollup merge of #67313 - oli-obk:document_all_the_t̶h̶i̶n̶g̶s̶dataflow, r=ecstatic-morse

Document more use cases of dataflow

r? @ecstatic-morse

Use `report_in_external_macro` for internal lints

Add the option to report lints in external macros for rustc internal
lints

Auto merge of #67900 - nikic:prepare-llvm-10, r=nagisa

Prepare for LLVM 10 upgrade

Split off from #67759, this just adds the necessary compatibility bits and updates codegen tests, without performing the actual LLVM upgrade.

r? @alexcrichton

Fix destructor return value in emcc.rs

rustdoc: HTML escape arrows on help popup

Fix system call docs for time::Instant

The link for UNIX was pointing to the Cloud ABI docs. It should have
been pointing to the clock_gettime docs instead. The table is repeated
in the docs for SystemTime, but there the UNIX entry was already correct.

Don't include __rust_drop_panic when testing libstd

Clean up E0186 explanation

Fix error codes explanation' code examples

Fix crate paths in comments

Update `output-default.json` and rustdoc test

Appease tidy

Fix formatting ellipses at the end of some diagnostics

Add backticks in appropriate places

Diagnostics should not end with a full stop

Diagnostics should start lowercase

Auto merge of #67831 - mati865:ci-images-upgrade, r=pietroalbini

ci: bump ubuntu 19.04 images to 19.10

Ubuntu 19.04 goes EOL this month.

Document behavior of set_nonblocking on UnixListener

Address review comments.

Auto merge of #67901 - matthewjasper:split-mir-build, r=nagisa

Split MIR building into its own crate

This moves `rustc_mir::{build, hair, lints}` to `rustc_mir_build`.
The new crate only has a `provide` function as it's public API.

Based on #67898

cc @Centril @rust-lang/compiler
r? @oli-obk

Split `rustc_mir::{build, hair, lints}` into their own crate

Update test benchmark file

Expose `context::CheckLintNameResult`

Clippy needs it

Address review comments.

Added comment about behaviour.

Forbid elided lifetimes within const generic parameter types.