rust/rustc_typeck at 0fb00251a578018430bad6687ff74e14031d2a07 - rust

mirror of https://github.com/rust-lang/rust.git synced 2025-11-04 06:56:14 +00:00

History

bors 0fb00251a5 Auto merge of #78662 - sexxi-goose:add_expr_id_to_delegate, r=nikomatsakis

Provide diagnostic suggestion in ExprUseVisitor Delegate

The [Delegate trait](981346fc07/compiler/rustc_typeck/src/expr_use_visitor.rs (L28-L38)) currently use `PlaceWithHirId` which is composed of Hir `Place` and the
corresponding expression id.

Even though this is an accurate way of expressing how a Place is used,
it can cause confusion during diagnostics.

Eg:

```
let arr : [String; 5];

let [a, ...]     =   arr;
 ^^^ E1 ^^^      =  ^^E2^^
 ```

 Here `arr` is moved because of the binding created E1. However, when we
 point to E1 in diagnostics with the message `arr` was moved, it can be
 confusing.  Rather we would like to report E2 to the user.

 Closes: https://github.com/rust-lang/project-rfc-2229/issues/20

r? `@ghost`

2020-11-04 22:45:15 +00:00

src

Auto merge of #78662 - sexxi-goose:add_expr_id_to_delegate, r=nikomatsakis

2020-11-04 22:45:15 +00:00

Cargo.toml

Replace some trivial struct_span_err!s in typeck.

2020-09-01 23:05:56 +10:00

README.md

…

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.