Rename `target_module` to `module` or `imported_module`.

Improve import failure detection.

Refactor out `finalize_import()` from `resolve_import()`.

Check privacy in `resolve_name_in_module`.

Refactor `value_determined` -> `value_result`, `type_determined` -> `type_result`.

Refactor `resolve_module_path` to take an `Option<Span>` instead of a `Span`.

Refactor `record_used: bool` -> `record_used: Option<Span>`.

Refactor away the field `arenas` of `ModuleS`.

Refactor away `module.resolve_name()`.

Add field `current_vis` to `Resolver`.

Clean up `build_reduced_graph.rs`.

Refactor `unresolved_imports` -> `indeterminate_imports`.

Add field `parent` to `ImportDirective`.

Refactor `module.add_import_directive()` -> `resolver.add_import_directive()`.

Auto merge of #35736 - brson:relnotes, r=steveklabnik

1.11 changelog

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

r? @steveklabnik

It's too late to get this into the actual release, but still needs to be backported to 1.12 beta.

1.11 changelog

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

Rollup of 23 pull requests

- Successful merges: #34370, #35415, #35595, #35610, #35613, #35614, #35621, #35660, #35663, #35670, #35671, #35672, #35681, #35686, #35690, #35695, #35707, #35708, #35713, #35722, #35725, #35726, #35731
- Failed merges: #35395

Auto merge of #35733 - apasel422:issue-35721, r=alexcrichton

Make `vec::IntoIter` covariant again

Closes #35721

r? @alexcrichton

Rollup merge of #35731 - pythoneer:fix-35192, r=jonathandturner

Update E0005 to use a label

Fixes #35192 as Part of #35233

r? @jonathandturner

Rollup merge of #35726 - mikhail-m1:master2, r=jonathandturner

update E0409 to new error format

fixes #35699 as part of #35233.

r? @jonathandturner

Rollup merge of #35725 - brson:bump, r=alexcrichton

Bump version to 1.13

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

Updated E0394 & E0422 to new format

Fixes #35692 and #35700, as part of #35233.

r? @jonathandturner

Rollup merge of #35713 - sanxiyn:ui-test, r=nikomatsakis

Use UI test to test spans, instead of forced line break

There must be lots more, but these are what I could easily find.

Rollup merge of #35708 - sanxiyn:new-error-format, r=nikomatsakis

RUST_NEW_ERROR_FORMAT is no more

So stop setting the environment variable.

Rollup merge of #35707 - frewsxcv:vec-into-iter-debug, r=alexcrichton

Implement `Debug` for `std::vec::IntoIter`.

Display all the remaining items of the iterator, similar to the `Debug`
implementation for `core::slice::Iter`:

https://github.com/rust-lang/rust/blob/f0bab98695f0a4877daabad9a5b0ba3e66121392/src/libcore/slice.rs#L930-L937

Using the `as_slice` method that was added in:

https://github.com/rust-lang/rust/pull/35447

Rollup merge of #35695 - matthew-piziak:vec-assert-over-println, r=GuillaumeGomez

accumulate into vector and assert, instead of printing

I'm only making this change in one place so that people can express
their preferences for this stylistic change. If/when this change is
approved I'll go ahead and translate the rest of the `std::ops`
examples.

Rollup merge of #35690 - matthew-piziak:op-overloading-limited, r=steveklabnik

expound on limitations of Rust's trait-based operator overloading

Part of #29330

Rollup merge of #35686 - mikhail-m1:master, r=jonathandturner

update E0375 to new format

fixes #35635 as part of #35233.

r? @jonathandturner

Rollup merge of #35681 - Rufflewind:patch-1, r=apasel422

Fix spacing in code of closures.md

The spacing seems inconsistent with existing style conventions.

Rollup merge of #35672 - yossi-k:issue/35323, r=GuillaumeGomez

Update E0322 to new format

Fixes #35323. Part of #35233.
r? @GuillaumeGomez

Rollup merge of #35671 - canaltinova:E0392, r=jonathandturner

Update E0392 to new error format

Fixes #35631. Part of #35233
r? @jonathandturner or @GuillaumeGomez

Rollup merge of #35670 - RockyTV:e0365, r=jonathandturner

Update error E0365 to new format

Fixes #35633 as part of #35233.

r? @jonathandturner

Rollup merge of #35663 - CryZe:no-stdlib, r=Manishearth

Improve `No stdlib` and related Documentation

This renames all lang item function names to the ones used in `libstd` and `libpanic_unwind`. It also explains the `eh_unwind_resume` lang item in the `libcore` documentation, where it was missing. A third function is also needed on certain compilation targets, so this was also added to the `No stdlib` documentation.

Rollup merge of #35660 - terrynsun:e0207, r=jonathandturner

Update E0207 label to report parameter type

Fixes #35642.

r? @jonathandturner (Is this okay? I tagged you since it's a simple error fix similar to the other update ones.)

Rollup merge of #35621 - frewsxcv:cstring-from-vec-doc, r=peschkaj

Add doc example for `std::ffi::CString::from_vec_unchecked`.

None

Rollup merge of #35614 - srinivasreddy:syntax_ext_rustfmt, r=nikomatsakis

run rustfmt on libsyntax_ext folder

Rollup merge of #35613 - matthew-piziak:array-docs-trait-justification, r=steveklabnik

provide additional justification for array interface design

Explain why Rust does not implement traits for large arrays.

Explain why most methods are implemented on slices rather than arrays.

Note: I'm dipping my toes in the water with a tiny PR. Especially looking for feedback on wording and style. Points of concern: appropriate level of top-level explanation; foreshadowing (is it appropriate to imply that we expect Rust's type system to eventually support size-generic arrays?); using `Foo` and `Bar` as type variables instead of e.g. `T` and `S`.

@peschkaj

Rollup merge of #35610 - JessRudder:33637-doc-update-for-str-representaton, r=steveklabnik

Add note to docs for &str that example is to demo internals only

r? @steveklabnik

This adds a note below the &str representation example explaining that the example provided should not be used under normal circumstances..

Would it make sense to point people in the direction of the method(s) they should use instead?  I left it out in the interest of not complicating the documentation, but, there's definitely an argument to be made for adding a bit of guidance in there.

Rollup merge of #35595 - urschrei:associated_types_docfix, r=steveklabnik

Clarify type declaration language in Associated Types docs

A small fix for the Associated Types docs

r? @steveklabnik

Rollup merge of #35415 - silenuss:e0030-formatting, r=jonathandturner

Update compiler error 0030 to use new error format.

Part of #35233,
Addresses #35204

r? @jonathandturner

Rollup merge of #34370 - steveklabnik:keyword-ref-mention, r=Manishearth

A disclaimer about keywords.

Some people cite this list as "zomg Rust has so many keywords," so make
it clear that these aren't all used by the language today.

Auto merge of #35236 - nrc:rustdoc-redirects, r=@alexcrichton

rustdoc: redirect URLs

cc #35020 which does this properly

r? @alexcrichton

Auto merge of #35605 - eddyb:substs, r=nikomatsakis

Remove the ParamSpace separation from formal and actual generics in rustc.

This is the first step towards enabling the typesystem implemented by `rustc` to be extended
(with generic modules, HKT associated types, generics over constants, etc.).

The current implementation splits all formal (`ty::Generics`) and actual (`Substs`) lifetime and type parameters (and even `where` clauses) into 3 "parameter spaces":
* `TypeSpace` for `enum`, `struct`, `trait` and `impl`
* `SelfSpace` for `Self` in a `trait`
* `FnSpace` for functions and methods

For example, in `<X as Trait<A, B>>::method::<T, U>`, the `Substs` are `[[A, B], [X], [T, U]]`.
The representation uses a single `Vec` with 2 indices where it's split into the 3 "parameter spaces".
Such a simplistic approach doesn't scale beyond the Rust 1.0 typesystem, and its existence was mainly motivated by keeping code manipulating generic parameters correct, across all possible situations.

Summary of changes:
* `ty::Generics` are uniformly stored and can be queried with `tcx.lookup_generics(def_id)`
 * the `typeck::collect` changes for this resulted in a function to lazily compute the `ty::Generics` for a local node, given only its `DefId` - this can be further generalized to other kinds of type information
* `ty::Generics` and `ty::GenericPredicates` now contain only their own parameters (or `where` clauses, respectively), and refer to their "parent", forming a linked list
 * right now most items have one level of nesting, only associated items and variants having two
 * in the future, if `<X as mod1<A>::mod2<B>::mod3::Trait<C>>::Assoc<Y>` is supported, it would be represented by item with the path `mod1::mod2::mod3::Trait::Assoc`, and 4 levels of generics: `mod1` with `[A]`, `mod2` with `[B]`, `Trait` with `[X, C]` and `Assoc` with `[Y]`
* `Substs` gets two new APIs for working with arbitrary items:
 * `Substs::for_item(def_id, mk_region, mk_type)` will construct `Substs` expected by the definition `def_id`, calling `mk_region` for lifetime parameters and `mk_type` for type parameters, and it's guaranteed to *always* return `Substs` compatible with `def_id`
 * `substs.rebase_onto(from_base_def_id, to_base_substs)` can be used if `substs` is for an item nested within `from_base_def_id` (e.g. an associated item), to replace the "outer parameters" with `to_base_substs` - for example, you can translate a method's `Substs` between a `trait` and an `impl` (in both directions) if you have the `DefId` of one and `Substs` for the other
* trait objects, without a `Self` in their `Substs`, use *solely* `ExistentialTraitRef` now, letting `TraitRef` assume it *always* has a `Self` present
* both `TraitRef` and `ExistentialTraitRef` get methods which do operations on their `Substs` which are valid only for traits (or trait objects, respectively)
* `Substs` loses its "parameter spaces" distinction, with effectively no code creating `Substs` in an ad-hoc manner, or inspecting them, without knowing what shape they have already

Future plans:
* combine both lifetimes and types in a single `Vec<Kind<'tcx>>` where `Kind` would be a tagged pointer that can be `Ty<'tcx>`, `&'tcx ty::Region` or, in the future, potentially-polymorphic constants
 * this would require some performance investigation, if it implies a lot of dynamic checks
* introduce an abstraction for `(T, Substs)`, where the `Substs` are even more hidden away from code
manipulating it; a precedent for this is `Instance` in trans, which has `T = DefId`; @nikomatsakis also referred to this, as "lazy substitution", when `T = Ty`
* rewrite type pretty-printing to fully take advantage of this to inject actual in the exact places of formal generic parameters in any paths
* extend the set of type-level information (e.g. beyond `ty::Generics`) that can be lazily queried during `typeck` and introduce a way to do those queries from code that can't refer to `typeck` directly
 * this is almost unrelated but is necessary for DAG-shaped recursion between constant evaluation and type-level information, i.e. for implementing generics over constants

r? @nikomatsakis
cc @rust-lang/compiler

cc @nrc Could get any perf numbers ahead of merging this?

Review changes

rustc: remove ParamSpace from Substs.

rustc: split GenericPredicates of a method from its parent predicates.

rustc: split Generics of a method from its parent Generics.

rustc: remove SelfSpace from ParamSpace.

rustc: reduce Substs and Generics to a simple immutable API.

rustc_typeck: use Substs::from_generics instead of manually building them.

rustc: move trait objects from TraitRef to ExistentialTraitRef.

rustc: move defaulting's use of &mut Substs from InferCtxt to typeck.

rustc: avoid using subst::VecPerParamSpace::{empty,new} directly.

rustc: force all raw accesses to VecPerParamSpace through as_full_slice.

rustc: move the SelfSpace before TypeSpace in Substs.

rustc: use Vec instead of VecPerParamSpace for ty::GenericPredicates.

Auto merge of #35559 - frewsxcv:slice-iter-as-ref, r=alexcrichton

Implement `AsRef<[T]>` for `std::slice::Iter`.

`AsRef` is designed for conversions that are "cheap" (as per
the API docs). It is the case that retrieving the underlying
data of `std::slice::Iter` is cheap. In my opinion, there's no
ambiguity about what slice data will be returned, otherwise,
I would be more cautious about implementing `AsRef`.

Make `vec::IntoIter` covariant again

Closes #35721

Auto merge of #35538 - cgswords:libproc_macro, r=nrc

Kicking off libproc_macro

This PR introduces `libproc_macro`, which is currently quite bare-bones (just a few macro construction tools and an initial `quote!` macro).

This PR also introduces a few test cases for it, and an additional `shim` file (at `src/libsyntax/ext/proc_macro_shim.rs` to allow a facsimile usage of Macros 2.0 *today*!

Update E0005 Unit-Test

rustdoc: redirects from sane, namespaced URLs to Rustdoc's ridiculous ones

cc #35020 which does this properly

rustdoc: add namespaces for items

rustdoc: refactoring and tidying up

pulled out of #35020

Update E0005 to use a label

Auto merge of #35354 - tomgarcia:covariant-drain, r=alexcrichton

Made vec_deque::Drain, hash_map::Drain, and hash_set::Drain covariant

Fixed the rest of the Drain iterators.

Proc_macro is alive

update to new error format E0409

Updated E0394 to new error message

Updated E0422 to new error message

Bump version to 1.13

Auto merge of #35637 - japaric:no-builtins-lto, r=alexcrichton

exclude `#![no_builtins]` crates from LTO

this prevents intrinsics like `memcpy` from being mis-optimized to
infinite recursive calls when LTO is used.

fixes #31544
closes #35540

---

r? @alexcrichton
cc @Amanieu

Add basic unit test for `std::slice::Iter::as_slice`.

Implement `AsRef<[T]>` for `std::slice::Iter`.

`AsRef` is designed for conversions that are "cheap" (as per
the API docs). It is the case that retrieving the underlying
data of `std::slice::Iter` is cheap. In my opinion, there's no
ambiguity about what slice data will be returned, otherwise,
I would be more cautious about implementing `AsRef`.

Auto merge of #35617 - jseyfried:fix_unused_cfg_attr_path, r=eddyb

Fix incorrect unused import warnings on `cfg_attr`ed `path` attributes

Fixes #35584.
r? @eddyb

Use UI test to test spans, instead of forced line break

RUST_NEW_ERROR_FORMAT is no more

Auto merge of #35162 - canndrew:bang_type_coerced, r=nikomatsakis

Implement the `!` type

This implements the never type (`!`) and hides it behind the feature gate `#[feature(never_type)]`. With the feature gate off, things should build as normal (although some error messages may be different). With the gate on, `!` is usable as a type and diverging type variables (ie. types that are unconstrained by anything in the code) will default to `!` instead of `()`.

Implement `Debug` for `std::vec::IntoIter`.

Display all the remaining items of the iterator, similar to the `Debug`
implementation for `core::slice::Iter`:

https://github.com/rust-lang/rust/blob/f0bab98695f0a4877daabad9a5b0ba3e66121392/src/libcore/slice.rs#L930-L937

Using the `as_slice` method that was added in:

https://github.com/rust-lang/rust/pull/35447

test that a no_builtins crate is passed to the linker

remove `.take(10)` from `Range` example

accumulate into vector and assert, instead of printing

I'm only making this change in one place so that people can express
their preferences for this stylistic change. If/when this change is
approved I'll go ahead and translate the rest of the `std::ops`
examples.

expound on limitations of Rust's trait-based operator overloading

Part of #29330

Auto merge of #35680 - GuillaumeGomez:err_codes, r=jonathandturner

Err codes

r? @jonathandturner

update E0375 to new format

Auto merge of #35340 - michaelwoerister:incr-comp-cli-args, r=nikomatsakis

Take commandline arguments into account for incr. comp.

Implements the conservative strategy described in https://github.com/rust-lang/rust/issues/33727.

From now one, every time a new commandline option is added, one has to specify if it influences the incremental compilation cache. I've tried to implement this as automatic as possible: One just has to added either the `[TRACKED]` or the `[UNTRACKED]` marker next to the field. The `Options`, `CodegenOptions`, and `DebuggingOptions` definitions in `session::config` show plenty of examples.

The PR removes some cruft from `session::config::Options`, mostly unnecessary copies of flags also present in `DebuggingOptions` or `CodeGenOptions` in the same struct.

One notable removal is the `cfg` field that contained the values passed via `--cfg` commandline arguments. I chose to remove it because (1) its content is only a subset of what later is stored in `hir::Crate::config` and it's pretty likely that reading the cfgs from `Options` would not be what you wanted, and (2) we could not incorporate it into the dep-tracking hash of the `Options` struct because of how the test framework works, leaving us with a piece of untracked but vital data.

It is now recommended (just as before) to access the crate config via the `krate()` method in the HIR map.

Because the `cfg` field is not present in the `Options` struct any more, some methods in the `CompilerCalls` trait now take the crate config as an explicit parameter -- which might constitute a breaking change for plugin authors.

A disclaimer about keywords.

Some people cite this list as "zomg Rust has so many keywords," so make
it clear that these aren't all used by the language today.

Add new error code tests

Add E0394 error explanation

Fix spacing in code of closures.md

The spacing seems inconsistent with existing style conventions.

Auto merge of #35567 - creativcoder:e0261, r=jonathandturner

Update E0261 and E0262 to new error format

Fixes #35516 and  #35517 . Part of #35233
r? @jonathandturner

Update compiler error 0030 to use new error format.

Fix bug for ! in old trans

Auto merge of #35638 - ahmedcharles:url, r=alexcrichton

Upgrade linkchecker to url 1.2.0.

refactor: use CStore::is_no_builtins

Auto merge of #35427 - cardoe:arm-musl-targets, r=alexcrichton

add GNU make files for arm-unknown-linux-musleabi

For Yocto (Embedded Linux meta distro) Rust is provided via the [meta-rust layer](https://github.com/meta-rust/meta-rust). In this project there have been patches to add `arm-unknown-linux-musleabi`. Rust recently acquired that support via #35060 but only for rustbuild. meta-rust is currently only able to build Rust support with the existing GNU Makefiles. This adds `arm-unknown-linux-musleabi` support to Rust for the GNU Makefiles until meta-rust is able to sort out why using rustbuild does not work for it.

/cc @srwalter @derekstraka @jmesmon @japaric

Auto merge of #35666 - eddyb:rollup, r=eddyb

Rollup of 30 pull requests

- Successful merges: #34941, #35392, #35444, #35447, #35491, #35533, #35539, #35558, #35573, #35574, #35577, #35586, #35588, #35594, #35596, #35597, #35598, #35606, #35611, #35615, #35616, #35620, #35622, #35640, #35643, #35644, #35646, #35647, #35648, #35661
- Failed merges: #35395, #35415

Update E0392 to new error format

Update error E0365 to new format

Auto merge of #35409 - eddyb:mir-storage-stmts, r=nikomatsakis

[MIR] Add Storage{Live,Dead} statements to emit llvm.lifetime.{start,end}.

Storage live ranges are tracked for all MIR variables and temporaries with a drop scope.
`StorageLive` is lowered to `llvm.lifetime.start` and `StorageDead` to `llvm.lifetime.end`.

There are some improvements possible here, such as:
* pack multiple storage liveness statements by using the index of first local + `u64` bitset
* enforce that locals are not directly accessed outside their storage live range
* shrink storage live ranges for never-borrowed locals to initialization -> last use
* emit storage liveness statements for *all* temporaries
 * however, the remaining ones are *always* SSA immediates, so they'd be noop in MIR trans
 * could have a flag on the temporary that its storage is irrelevant (a la C's old `register`)
   * would also deny borrows if necessary
    * this seems like an overcompliation and with packing & optimizations it may be pointless

Even in the current state, it helps stage2 `rustc` compile `boiler` without overflowing (see #35408).

A later addition fixes #26764 and closes #27372 by emitting `.section` directives for dylib metadata to avoid them being allocated into memory or read as `.note`. For this PR, those bugs were tripping valgrind.

Update E0322 to new format