Auto merge of #67268 - estebank:assoc-types, r=oli-obk

Tweak errors for missing associated types and type parameters

* On `dyn Trait` missing associated types, provide a structured suggestion for them
* On missing type parameters, provide structured suggestion for them
* Point at trait definition when missing required type parameter
* Tweak output of E0658
* Tweak wording of E0719
* Account for `Trait1 + Trait2` case

Fix #66380, fix #60595. CC #63711.

Auto merge of #67580 - RalfJung:miri-unleash-tests, r=oli-obk

test the unleashed Miri

In particular, test what happens when we try to drop something. Cc https://github.com/rust-lang/const-eval/issues/17

r? @oli-obk

Auto merge of #66919 - dtolnay:description, r=KodrAus

Deprecate Error::description for real

`description` has been documented as soft-deprecated since 1.27.0 (17 months ago). There is no longer any reason to call it or implement it.

This PR:

- adds `#[rustc_deprecated(since = "1.41.0")]` to `Error::description`;
- moves `description` (and `cause`, which is also deprecated) below the `source` and `backtrace` methods in the Error trait;
- reduces documentation of `description` and `cause` to take up much less vertical real estate in rustdocs, while preserving the example that shows how to render errors without needing to call `description`;
- removes the description function of all *currently unstable* Error impls in the standard library;
- marks `#[allow(deprecated)]` the description function of all *stable* Error impls in the standard library;
- replaces miscellaneous uses of `description` in example code and the compiler.

---


Fix rebase and sort assoc type list for deterministic output

Auto merge of #67524 - LukasKalbertodt:improve-into-iter-lint, r=matthewjasper

Generalize `array_into_iter` lint to also lint for boxed arrays

`Box` is special in that a method call on a box can move the value out
of the box. Thus, the same backwards-compatibility problem can arise
for boxed arrays as for simple arrays.

---

CC #66145
r? @matthewjasper  (as you reviewed the first PR)

use error-pattern

Deprecate Error::description for real

`description` has been documented as soft-deprecated since 1.27.0 (17
months ago). There is no longer any reason to call it or implement it.

This commit:

- adds #[rustc_deprecated(since = "1.41.0")] to Error::description;

- moves description (and cause, which is also deprecated) below the
  source and backtrace methods in the Error trait;

- reduces documentation of description and cause to take up much less
  vertical real estate in rustdocs, while preserving the example that
  shows how to render errors without needing to call description;

- removes the description function of all *currently unstable* Error
  impls in the standard library;

- marks #[allow(deprecated)] the description function of all *stable*
  Error impls in the standard library;

- replaces miscellaneous uses of description in example code and the
  compiler.

Fix suggestion span for typo in associated type name

Cleanup: move code to their own methods and deduplicate actions

Account for multiple trait bounds with missing associated types

Avoid output dependency on std spans

Use structured suggestion for bad `Fn` traits

Handle more specific case E0222

review comments: move error reporting to their own methods

Fix case in `associated-type-projection-from-multiple-supertraits.rs`

This still doesn't handle the case entirely correctly, requiring a more
targeted approach with a better suggestion, but at least now the
suggested syntax makes *some* sense.

Tweak errors for missing associated types and type parameters

Auto merge of #67303 - dtolnay:rls, r=Xanewok

Update rls submodule

This pulls in https://github.com/rust-lang/rls/pull/1603 in order to unblock https://github.com/rust-lang/rust/pull/66919.

r? @Xanewok

Auto merge of #67596 - Mark-Simulacrum:tidy-silence-rustfmt, r=Centril

(Mostly) finish formatting the repository

Silences tidy line length warnings on rustfmt-controlled files.

This leaves two things out of formatting: CloudABI (mostly because it's not really ours to control, it's upstream code that's mostly generated), and tests. The latter is a hard problem and maybe not one to worry too much about, we rarely edit old tests and reformatting them as we go if possible isn't too bad (they're generally small).

Format librustc_feature

Use #[rustfmt::skip] on the tidy-parsed macro invocations

x.py fmt after previous deignore

Silence line length warnings

rustfmt tries its best already, we should not fight with it.

Auto merge of #67445 - llogiq:todo, r=dtolnay

Differentiate todo! and unimplemented!

This updates the panic message and docs to make it clear that `todo!` is for unfinished code and `unimplemented!` is for partial trait or enum impls.

r? @Centril

Auto merge of #67241 - mark-i-m:simplify-borrow_check-3, r=matthewjasper

Refactorings to borrowck region diagnostic reporting

This PR is a followup to #66886 and #67404

EDIT: updated

In this PR:  Clean up how errors are collected from NLL: introduce `borrow_check::diagnostics::RegionErrors` to collect errors. This is later passed to `MirBorrowckCtx::report_region_errors` after the `MirBorrowckCtx` is created. This will allow us to refactor away some of the extra context structs floating around (but we don't do it in this PR).  `borrow_check::region_infer` is now mostly free of diagnostic generating code. The signatures of most of the functions in `region_infer` lose somewhere between 4 and 7 arguments :)

Left for future (feedback appreciated):

- Merge `ErrorRegionCtx` with `MirBorrowckCtx`, as suggested by @matthewjasper in https://github.com/rust-lang/rust/pull/66886#issuecomment-559949499
- Maybe move the contents of `borrow_check::nll` into `borrow_check` and remove the `nll` submodule altogether.
- Find a way to make `borrow_check::diagnostics::region_errors` less of a strange appendage to `RegionInferenceContext`. I'm not really sure how to do this yet. Ideas welcome.

Generalize `array_into_iter` lint to also lint for boxed arrays

`Box` is special in that a method call on a box can move the value out
of the box. Thus, the same backwards-compatibility problem can arise
for boxed arrays as for simple arrays.

Auto merge of #66221 - ohadravid:doc-constants, r=Dylan-DPC

Show the actual value of constant values in the documentation

Fixes #66099, making rustdoc show evaluated constant scalar values.


where `main.rs` is
```
pub const VAL3: i32 = i32::max_value();
pub const VAL4: i32 = i32::max_value() - 1;
```

As a fallback, when a constant value is not evaluated (either because of an error or because it isn't a scalar), the original expression is used for consistency.

I mimicked the way min/max values of integers are [`pretty_print`ed](https://github.com/rust-lang/rust/blob/master/src/librustc/ty/print/pretty.rs#L900), to show both the value a the "hint". While a little goofy for `std`, in user crates I think it's actually rather helpful.

Differentiate todo! and unimplemented!

Auto merge of #67579 - RalfJung:miri, r=RalfJung

update miri

this has sysroot spans to let's ignore it the usual way

better variable names

add test for dropping in const

bootstrap miri: remove no longer used env var

update miri

Show value for consts in the documentation

Auto merge of #67575 - Centril:rollup-feikoir, r=Centril

Rollup of 7 pull requests

Successful merges:

 - #67337 (Ensure that evaluating or validating a constant never reads from a static)
 - #67543 (Add regression tests for fixed ICEs)
 - #67547 (Cleanup err codes)
 - #67551 (Add long error code explanation message for E0627)
 - #67561 (remove `description` from `Error` impls in docs)
 - #67569 (Clean up unsafety in char::encode_utf8)
 - #67572 (Use the chocolatey CDN directly to avoid the flaky API)

Failed merges:

r? @ghost

Rollup merge of #67572 - aidanhs:aphs-choco-direct-cdn, r=Mark-Simulacrum

Use the chocolatey CDN directly to avoid the flaky API

Rollup merge of #67569 - Mark-Simulacrum:opt-char-encode, r=oli-obk

Clean up unsafety in char::encode_utf8

This originally started as an attempt to allow LLVM to optimize through
encode_utf8 to detect the try_encode_utf8 case (#52579, #52580), but due to a
typo my conclusion that my optimizations were successful was incorrect.

Furthermore, as far as I can tell, this optimization is probably just not
possible with LLVM today.  This [code](https://rust.godbolt.org/z/JggRj4)
compiles down to a long series of compares, notably, two identical series of
compares. That essentially means that LLVM is today unable to see that these two
ifs are identical and as such can be merged and then realize that no value of
the if condition can result in a call to `please_delete`. As such, for now, we
do not attempt to specifically optimize for that case.

Rollup merge of #67561 - euclio:remove-description, r=jonas-schievink

remove `description` from `Error` impls in docs

Since `description` is soft-deprecated, there's no need to show it implemented in these examples.

Rollup merge of #67551 - ldm0:E0627, r=Dylan-DPC

Add long error code explanation message for E0627

Part of #61137.

r? @GuillaumeGomez

Rollup merge of #67547 - GuillaumeGomez:cleanup-err-codes, r=Dylan-DPC

Cleanup err codes

r? @Dylan-DPC

Rollup merge of #67543 - JohnTitor:regression-tests, r=Centril

Add regression tests for fixed ICEs

Closes #61747 (fixed from 1.41.0-nightly (4007d4ef2 2019-12-01))
Closes #66205 (fixed from 1.41.0-nightly (4007d4ef2 2019-12-01))
Closes #66270 (fixed by #66246)
Closes #67424 (fixed by #67160)

Also picking a minor nit up from #67071 with 101dd7bad9432730fa2f625ae43afcc2929457d4

r? @Centril

Rollup merge of #67337 - oli-obk:no_mut_static_ref_from_const, r=RalfJung

Ensure that evaluating or validating a constant never reads from a static

r? @RalfJung

as per https://github.com/rust-lang/rust/pull/66302#issuecomment-554663387

This does not yet address the fact that evaluation of a constant can read from a static (under unleash-miri)

Minimize unsafety in encode_utf8

Use slice patterns to avoid having to skip bounds checking

Use the chocolatey CDN directly to avoid the flaky API

Auto merge of #66296 - Centril:bindings_after_at-init, r=pnkfelix

Initial implementation of `#![feature(bindings_after_at)]`

Following up on #16053, under the gate `#![feature(bindings_after_at)]`, `x @ Some(y)` is allowed subject to restrictions necessary for soundness.

The implementation and test suite should be fairly complete now.

One aspect that is not covered is the interaction with nested `#![feature(or_patterns)]`.
This is not possible to test at the moment in a good way because that feature has not progressed sufficiently and has fatal errors in MIR building. We should make sure to add such tests before we stabilize both features (but shipping one of them is fine).

r? @pnkfelix
cc @nikomatsakis @matthewjasper @pcwalton
cc https://github.com/rust-lang/rust/issues/65490

Auto merge of #67560 - Centril:rollup-fzdpu9c, r=Centril

Rollup of 8 pull requests

Successful merges:

 - #67233 (Add PartialEq and Eq to Cursor)
 - #67466 (Require const stability attributes on intrinsics to be able to use them in constant contexts)
 - #67507 (Remove mem::uninitalized from tests)
 - #67527 (Results show too much)
 - #67536 (Move `{hir::lowering -> hir}::is_range_literal`)
 - #67538 (Improve diagnostics for invalid assignment)
 - #67546 (Fix ICE in mir interpretation)
 - #67559 (Document that calling Drop, even after it panics, is UB)

Failed merges:

r? @ghost

Bless tests

Apply suggestion from Centril

Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>

Add test for issue-67424

remove `description` from `Error` impls in docs

Tidy

Rollup merge of #67559 - Mark-Simulacrum:drop-doc, r=RalfJung

Document that calling Drop, even after it panics, is UB

Fixes #60822.

r? @gnzlbg

Rollup merge of #67546 - oli-obk:slice_pattern_ice, r=varkor

Fix ICE in mir interpretation

Indices from the end start at 1 so you can immediately subtract them from the length to get the index instead of having to do an additional `-1`. Kinda documented in https://doc.rust-lang.org/nightly/nightly-rustc/rustc/mir/enum.ProjectionElem.html#variant.ConstantIndex

Rollup merge of #67538 - varkor:lhs-assign-diagnostics, r=Centril

Improve diagnostics for invalid assignment

- Improve wording and span information for invalid assignment diagnostics.
- Link to https://github.com/rust-lang/rfcs/issues/372 when it appears the user is trying a destructuring assignment.
- Make the equality constraint in `where` clauses error consistent with the invalid assignment error.

Rollup merge of #67536 - Centril:move-is_range_literal, r=Mark-Simulacrum

Move `{hir::lowering -> hir}::is_range_literal`

The function is never used inside lowering, but only ever in external crates.
By moving it, we facilitate lowering as its own crate.

Best read commit-by-commit.

r? @Mark-Simulacrum

Rollup merge of #67527 - GuillaumeGomez:results-show-too-much, r=kinnison

Results show too much

Fixes #67461.

To reproduce the current issue: search anything, then once the results appears, press escape. They should disappear then re-appear right away. This is because blurring an element triggers the "change" event.

r? @kinnison

Rollup merge of #67507 - Mark-Simulacrum:purge-uninit, r=Centril

Remove mem::uninitalized from tests

This purges uses of uninitialized where possible from test cases. Some
are merely moved over to the equally bad pattern of
MaybeUninit::uninit().assume_init() but with an annotation that this is
"the best we can do".

Fixes #62397

Rollup merge of #67466 - oli-obk:const_intrinsic, r=Centril

Require const stability attributes on intrinsics to be able to use them in constant contexts

r? @Centril

finally fixes #61495

cc @RalfJung

Rollup merge of #67233 - Luro02:cursor_traits, r=sfackler

Add PartialEq and Eq to Cursor

closes #67226

Fix typo

Document that calling Drop, even after it panics, is UB

Update src/librustc_mir/interpret/intern.rs

Co-Authored-By: Ralf Jung <post@ralfj.de>

Show `const_err` lints

Constants reading or referencing statics is illegal

and some uses of it will be illegal forever
(e.g. mutable or interior mutable statics)

Dynamically prevent constants from accessing statics

Panic on mutable allocs in constants

adjust E0303 error code docs

Remove `bindings_after_at` from `INCOMPLETE_FEATURES`.

Test that nested type ascription is banned.

Test that `_ @ subpat` is syntactically rejected.

harden & split borrowck-pat-at-and-box

enhance borrowck-pat-by-copy-bindings-in-at

clarify bind-by-move-neither-can-livee..

bindings_after_at: harden tests wrt. contexts & slice_patterns

bindings_after_at: harden tests wrt. promotion

--bless bindings-after-at tests

document check_borrow_conflicts_in_at_patterns

improve robustness of pat walkers

refactor with extract_binding_mode

add check_borrow_conflicts_in_at_patterns analysis

check_legality_of_move_bindings: generalize diagnostics & add comments

add a fixme

Introduce `#![feature(bindings_after_at)]`.
Under the gate, `x @ Some(y)` is allowed.
This is subject to various restrictions for soundness.

Yield is an expression form, not a statement.

Add long error code explanation message for E0627

Fix reformatting rebase issues

is_range_literal: leave FIXME

is_range_literal: fix fallout

Add new folder for destructuring assignment tests

Add span information to `ExprKind::Assign`

Recognise nested tuples/arrays/structs

Add note about destructuring assignments

Improve invalid assignment error

Add the full issue reference to equality constraints in `where` clauses

Move `{hir::lowering -> hir}::is_range_literal`.

The function is never used inside lowering,
but only ever in external crates.

By moving it, we faciliate lowering as its own crate.

Update src/librustc_mir/interpret/place.rs

Co-Authored-By: Ralf Jung <post@ralfj.de>

Update E0124.md

Refactor region error handling to be done by mirborrowckctx

Remove mem::uninitalized from tests

This purges uses of uninitialized where possible from test cases. Some
are merely moved over to the equally bad pattern of
MaybeUninit::uninit().assume_init() but with an annotation that this is
"the best we can do".

Auto merge of #67540 - Mark-Simulacrum:fmt-the-world, r=Centril

Format the world

This PR modifies the formatting infrastructure a bit in the first commit (to enable the forgotten 2018 edition), as well as removes most directories from the ignore list in rustfmt.toml. It then follows that up with the second commit which runs `x.py fmt` and formats the entire repository.

We continue to not format the test directory (`src/test`) because of interactions with pretty printing and, in part, because re-blessing all of those files is somewhat harder to review, so is best suited for a follow up PR in my opinion.

Change bound order in rustfmt test

It is unclear why this changed, but since it seems like a harmless
change, we're going to move forward with reformatting.