Auto merge of #30408 - durka:issue-26873, r=alexcrichton

I think we can close #26873 with these tests.

Auto merge of #30403 - webmobster:master, r=alexcrichton

I didn't see any reason that debug couldn't be added to this object, since every field derives debug.

Auto merge of #30184 - petrochenkov:ascr, r=nikomatsakis

This PR is a rebase of the original PR by @eddyb https://github.com/rust-lang/rust/pull/21836 with some unrebasable parts manually reapplied, feature gate added + type equality restriction added as described below.

This implementation is partial because the type equality restriction is applied to all type ascription expressions and not only those in lvalue contexts. Thus, all difficulties with detection of these contexts and translation of coercions having effect in runtime are avoided.
So, you can't write things with coercions like `let slice = &[1, 2, 3]: &[u8];`. It obviously makes type ascription less useful than it should be, but it's still much more useful than not having type ascription at all.
In particular, things like `let v = something.iter().collect(): Vec<_>;` and `let u = t.into(): U;` work as expected and I'm pretty happy with these improvements alone.

Part of https://github.com/rust-lang/rust/issues/23416

Auto merge of #30381 - fhahn:memchr-in-std, r=alexcrichton

This PR adds `memchr`and `memrchr` based on @BurntSushi 's rust-memchr crate to libstd (as discussed in #30151).

I've update some places in libstd to use memchr/memrchr, but I am not sure if there are other places where it could be used as well.

ref #30076

Auto merge of #30364 - luqmana:mir-calls, r=nikomatsakis

[MIR] Initial implementation for translating calls.

Use memrchr bindings provided by libc

Auto merge of #30389 - nikomatsakis:rfc1214-error, r=arielb1

Make RFC 1214 warnings into errors, and rip out the "warn or err"
associated machinery. Future such attempts should go through lints
anyhow.

There is a fair amount of fallout in the compile-fail tests, as WF
checking now occurs earlier in the process.

r? @arielb1

Auto merge of #29973 - petrochenkov:privinpub, r=nikomatsakis

Some notes:
This patch enforces the rules from [RFC 136](https://github.com/rust-lang/rfcs/blob/master/text/0136-no-privates-in-public.md) and makes "private in public" a module-level concept and not crate-level. Only `pub` annotations are used by the new algorithm, crate-level exported node set produced by `EmbargoVisitor` is not used. The error messages are tweaked accordingly and don't use the word "exported" to avoid confusing people (https://github.com/rust-lang/rust/issues/29668).

The old algorithm tried to be extra smart with impls, but it mostly led to unpredictable behavior and bugs like https://github.com/rust-lang/rust/issues/28325.
The new algorithm tries to be as simple as possible - an impl is considered public iff its type is public and its trait is public (if presents).
A type or trait is considered public if all its components are public, [complications](https://internals.rust-lang.org/t/limits-of-type-inference-smartness/2919) with private types leaking to other crates/modules through trait impls and type inference are deliberately ignored so far.

The new algorithm is not recursive and uses the nice new facility `Crate::visit_all_items`!

Obsolete pre-1.0 feature `visible_private_types` is removed.

This is a [breaking-change].
The two main vectors of breakage are type aliases (https://github.com/rust-lang/rust/issues/28450) and impls (https://github.com/rust-lang/rust/issues/28325).
I need some statistics from a crater run (cc @alexcrichton) to decide on the breakage mitigation strategy.
UPDATE: All the new errors are reported as warnings controlled by a lint `private_in_public` and lint group `future_incompatible`, but the intent is to make them hard errors eventually.

Closes https://github.com/rust-lang/rust/issues/28325
Closes https://github.com/rust-lang/rust/issues/28450
Closes https://github.com/rust-lang/rust/issues/29524
Closes https://github.com/rust-lang/rust/issues/29627
Closes https://github.com/rust-lang/rust/issues/29668
Closes https://github.com/rust-lang/rust/issues/30055

r? @nikomatsakis

Do not substitute type aliases during error reporting
Type aliases are still substituted when determining impl publicity

Make RFC 1214 warnings into errors, and rip out the "warn or err"
associated machinery. Future such attempts should go through lints
anyhow.

There is a fair amount of fallout in the compile-fail tests, as WF
checking now occurs earlier in the process.

add tests for #26873

Auto merge of #30374 - durka:issue-30371, r=alexcrichton

Fixes #30371.

Require exact type equality + add tests

+ Rebase fixes

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

- Successful merges: #30272, #30286, #30365, #30381, #30384, #30398, #30406, #30408, #30420, #30431, #30447, #30452
- Failed merges:

Rollup merge of #30452 - dotdash:24876_take_2, r=alexcrichton

LLVM doesn't really support reusing the same module to emit more than
one file. One bug this causes is that the IR is invalidated by the stack
coloring pass when emitting the first file, and then the IR verifier
complains by the time we try to emit the second file. Also, we get
different binaries with --emit=asm,link than with just --emit=link. In
some cases leading to segfaults.

Unfortunately, it seems that at this point in time, the most sensible
option to circumvent this problem is to just clone the whole llvm module
for the asm output if we need both, asm and obj file output.

Fixes #24876
Fixes #26235

Rollup merge of #30447 - Xmasreturns:Docu, r=steveklabnik

Added sentences for description of code and changed x in the example to an int

Rollup merge of #30431 - mmcco:cleanup, r=alexcrichton

Remove a needless variable and simply a cfg().

Rollup merge of #30420 - petrochenkov:owned2, r=nrc

Part of https://github.com/rust-lang/rust/pull/30095 not causing mysterious segfaults.

r? @nrc

Update liblibc to current master

Use memchr in libstd where possible, closes #30076

Add memchr implemenation based on rust-memchr to libstd

Auto merge of #30286 - oli-obk:const_error_span, r=nikomatsakis

previously the error was erased and a `non-const path` error was emitted at the location of the field access instead of at the overflow location (as can be seen in the playground: http://is.gd/EuAF5F )

Rollup merge of #30406 - durka:patch-13, r=sanxiyn

The previous example had no chance of compiling in either form, due to the restrictive follow set for `ty`. This one has the desired behavior: http://is.gd/kYdw4g (well, I don't exactly desire this behavior at all, but it's true at least :p )

Rollup merge of #30398 - jwworth:pull-request-1450205451, r=sanxiyn

This fixes a double word typo, 'the'.

Rollup merge of #30384 - nrc:diagnostics, r=@nikomatsakis

Should make it possible to add JSON or HTML errors. Also tidies up a lot.

Rollup merge of #30286 - oli-obk:const_error_span, r=nikomatsakis

previously the error was erased and a `non-const path` error was emitted at the location of the field access instead of at the overflow location (as can be seen in the playground: http://is.gd/EuAF5F )

Auto merge of #30272 - tshepang:doc-drain, r=bluss

Second sentence actually repeats info from first sentence. "from start to end" also feels like it adds nothing.

I also extended Vec::drain example.

Fix emitting asm and object file output at the same time

LLVM doesn't really support reusing the same module to emit more than
one file. One bug this causes is that the IR is invalidated by the stack
coloring pass when emitting the first file, and then the IR verifier
complains by the time we try to emit the second file. Also, we get
different binaries with --emit=asm,link than with just --emit=link. In
some cases leading to segfaults.

Unfortunately, it seems that at this point in time, the most sensible
option to circumvent this problem is to just clone the whole llvm module
for the asm output if we need both, asm and obj file output.

Fixes #24876
Fixes #26235

Auto merge of #30414 - alexcrichton:fix-cross-builds, r=brson

It looks like #27937 accidentally switched the llvmdeps file from the target to
the host by accident, so be sure to use the right llvmdeps file which is built
for the target when building rustc_llvm

Add more systematic tests

Prohibit public glob reexports of private variants

Address the comments

Substitute type aliases before checking for privacy

Use lint instead of warning

Report errors not caught by the old visitor as warnings

Prohibit private variant reexports

Approximate type aliases as public when determining impl publicity

Update error messages and error descriptions

Fix the fallout

Rewrite VisiblePrivateTypesVisitor

Auto merge of #29907 - nagisa:mir-moar-constants, r=nikomatsakis

Still will not translate references to items like `X` or `Y::V` where

```
struct X;
enum Y { V }
```

but I must go work on university things so I’m PRing what I have.

r? @nikomatsakis

Clarified shadowing example

Added some additional descriptive sentences and changed x to an int in
the example

Abstract away differences between Vec and ptr::P in HIR

Deprecate name `OwnedSlice` and don't use it

libsyntax: Merge OwnedSlice into ptr::P

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

- Successful merges: #30370, #30404, #30415, #30419, #30428, #30437, #30439, #30441, #30442, #30443
- Failed merges:

Rollup merge of #30443 - tshepang:just-a-rename, r=steveklabnik

Rollup merge of #30442 - tshepang:typo, r=steveklabnik

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

Rollup merge of #30439 - swooster:swooster-nomicon-patch-1, r=steveklabnik

The Rustonomicon's Lifetimes chapter uses the idiom "big ask", which is obscure compared to "tall order" (check [Google ngrams](https://books.google.com/ngrams/graph?content=big+ask%2C+tall+order&year_start=1800)). Also, it's easily mistaken for a typo; either "a big task" or "a big thing to ask" could plausibly work there.

r? @steveklabnik

Rollup merge of #30437 - tshepang:clarity, r=steveklabnik

The comma removes the sorface ambiguity

Rollup merge of #30428 - steveklabnik:quickfix, r=apasel422

Rollup merge of #30419 - shepmaster:rogue-I, r=alexcrichton

r? @steveklabnik

Rollup merge of #30415 - steveklabnik:remove_bad_stability_note, r=alexcrichton

Rollup merge of #30404 - Shiney:ImprovedStackHeap, r=steveklabnik

…entation clearer

I could not use colors as suggested for #29854 because Github doesn't support these in markdown, however this solution may be better for color-blind readers.

Rollup merge of #30370 - zachreizner:patch-1, r=apasel422

doc: improve drain examples and remove secondary info from leading paragraph

doc: no need to duplicate docs on renamed API

Test generic methods

doc: fix typo

doc: add a missing comma

Add a debug implementation to process::Output

Auto merge of #30325 - jseyfried:fixes_30078, r=nrc

This fixes a bug in which unused imports can get wrongly marked as used when checking for unused qualifications in `resolve_path` (issue #30078), and it removes unused imports that were previously undetected because of the bug.

Change "big ask" to "tall order" in Rustonomicon.

The Rustonomicon's Lifetimes chapter uses the idiom "big ask", which is obscure compared to "tall order" (check Google ngrams). Also, it's easily mistaken for a typo; either "a big task" or "a big thing to ask" could plausibly work there.

doc: improve clarity by introducing a pause

rustc_resolve: fix a bug in which unused imports can get wrongly marked as used when checking for unused qualifications in resolve_path (fixes #30078)

Remove unused imports

Trivial cleanup

Remove a needless variable and simply a cfg().

small fix to str doc example

Auto merge of #30354 - petrochenkov:defuse, r=sanxiyn

A relic of some old resolution algorithm?

Auto merge of #30341 - pnkfelix:call-site-scope, r=nikomatsakis

Ensure borrows of fn/closure params do not outlive invocations.

Does this by adding a new CallSiteScope to the region (or rather code extent) hierarchy, which outlives even the ParameterScope (which in turn outlives the DestructionScope of a fn/closure's body).

Fix #29793

r? @nikomatsakis

test errors

Used bold and italic in the markdown to make the stack and heap documentation clearer

A little more refactoring inside emitter.rs

Add the files I fogot about earlier

d'oh

Move a bunch of stuff from Session to syntax::errors

The intention here is that Session is a very thin wrapper over the error handling infra.

move error handling from libsyntax/diagnostics.rs to libsyntax/errors/*

Also split out emitters into their own module.

Auto merge of #29962 - aturon:coherence-errors, r=nmatsakis

Currently, a coherence error based on overlapping impls simply mentions
the trait, and points to the two conflicting impls:

```
error: conflicting implementations for trait `Foo`
```

With this commit, the error will include all input types to the
trait (including the `Self` type) after unification between the
overlapping impls. In other words, the error message will provide
feedback with full type details, like:

```
error: conflicting implementations of trait `Foo<u32>` for type `u8`:
```

When the `Self` type for the two impls unify to an inference variable,
it is elided in the output, since "for type `_`" is just noise in that
case.

Closes #23980

r? @nikomatsakis

Remove rogue I

Provide overlapping types for coherence errors

Currently, a coherence error based on overlapping impls simply mentions
the trait, and points to the two conflicting impls:

```
error: conflicting implementations for trait `Foo`
```

With this commit, the error will include all input types to the
trait (including the `Self` type) after unification between the
overlapping impls. In other words, the error message will provide
feedback with full type details, like:

```
error: conflicting implementations of trait `Foo<u32>` for type `u8`:
```

When the `Self` type for the two impls unify to an inference variable,
it is elided in the output, since "for type `_`" is just noise in that
case.

Closes #23980

Remove incorrect words about libcore's stability

Auto merge of #30337 - wesleywiser:mir_switch, r=nikomatsakis

Fixes #29574

mk: Use the right llvmdeps.rs file for cross build

It looks like #27937 accidentally switched the llvmdeps file from the target to
the host by accident, so be sure to use the right llvmdeps file which is built
for the target when building rustc_llvm

rustc: Remove def::DefUse

Add ExprType to HIR and make everything compile
+ Apply parser changes manually
+ Add feature gate

Auto merge of #30269 - sanxiyn:no-mangle-generic, r=Aatch

Fix #15844.

Should the default be Deny instead?

Implement type ascription.

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

- Successful merges: #30320, #30368, #30372, #30376, #30388, #30392
- Failed merges: #30354, #30389

Rollup merge of #30392 - Ms2ger:RestrictionResult, r=alexcrichton

Rollup merge of #30388 - DanielJCampbell:macro-ident-spans, r=nrc

r? @nrc

Rollup merge of #30376 - salty-horse:btree_links, r=alexcrichton

The BtreeSet main description mentions `BTreeMap`, `Ord`, `Cell`, `RefCell`.

This patch adds links to their documentation.

Rollup merge of #30372 - sanxiyn:rustdoc-cfg, r=alexcrichton

Fix #30252.

Rollup merge of #30368 - arielb1:region-unification-2, r=nikomatsakis

Turns out that calling `resolve_type_variables_if_possible` in a O(n^2)
loop is a bad idea. Now we just resolve each copy of the region variable
to its lowest name each time (we resolve the region variable to its lowest
name, rather than to its unify-table name to avoid the risk of
the unify-table name changing infinitely many times. That may be
not a problem in practice, but I am not sure of it).

Rollup merge of #30320 - nrc:err-names, r=@nikomatsakis

We can now handle name resolution errors and get past type checking (if we're a bit lucky). This is the first step towards doing code completion for partial programs (we need error recovery in the parser and early access to save-analysis).

Auto merge of #30300 - sanxiyn:syntax-ext, r=nikomatsakis

This reduces iteration time (`make rustc-stage1`) for moved syntax extensions from 11 minutes to 3 minutes on my machine.

Because of the signature change, this is a [breaking-change] for people directly calling `expand_crate`. I think it is rare: from GitHub search, only case I found is [glassful](https://github.com/kmcallister/glassful).

Auto merge of #30206 - petrochenkov:newdepr, r=brson

Closes https://github.com/rust-lang/rust/issues/29935

The attributes `deprecated` and `rustc_deprecated` are completely independent in this implementation and it leads to some noticeable code duplication. Representing `deprecated` as
```
Stability {
    level: Stable { since: "" },
    feature: "",
    depr: Some(Deprecation),
}
```
or, contrariwise, splitting rustc_deprecation from stability makes most of the duplication go away.
I can do this refactoring, but before doing it I must be sure, that further divergence of `deprecated` and `rustc_deprecated` is certainly not a goal.

cc @llogiq

Auto merge of #30141 - oli-obk:fix/30117, r=arielb1

r? @arielb1

change macro ambiguity example from ty to ident

The previous example had no chance of compiling in either form, due to the restrictive follow set for `ty`. This one has the desired behavior: http://is.gd/kYdw4g (well, I don't exactly desire this behavior at all, but it's true at least :p )

Fix typo