rust/src/test/ui/specialization, branch 1.45.2

Point at associated types when they have a default type

2020-05-03T01:24:07+00:00

Associated types with a default type in a trait can't be relied upon to remain of that default type when in use, so literals of that type can't be used in the trait's items. Point at the associated type and state that information. Reduce verbosity for associated consts of the wrong type.

When a projection is expected, suggest constraining or calling method

2020-05-03T01:24:07+00:00

On type mismatch involving associated type, suggest constraint

2020-05-03T01:23:46+00:00

When an associated type is found when a specific type was expected, if possible provide a structured suggestion constraining the associated type in a bound. ``` error[E0271]: type mismatch resolving `::Y == i32` --> $DIR/associated-types-multiple-types-one-trait.rs:13:5 | LL | want_y(t); | ^^^^^^ expected `i32`, found associated type ... LL | fn want_y>(t: &T) { } | ----- required by this bound in `want_y` | = note: expected type `i32` found associated type `::Y` help: consider constraining the associated type `::Y` to `i32` | LL | fn have_x_want_y>(t: &T) | ^^^^^^^^^ ``` ``` error[E0308]: mismatched types --> $DIR/trait-with-missing-associated-type-restriction.rs:12:9 | LL | qux(x.func()) | ^^^^^^^^ expected `usize`, found associated type | = note: expected type `usize` found associated type `::A` help: consider constraining the associated type `::A` to `usize` | LL | fn foo(x: impl Trait) { | ^^^^^^^^^^ ```

Rollup merge of #71235 - estebank:lt-sugg-2, r=ecstatic-morse

2020-04-24T11:14:19+00:00

Tweak `'static` suggestion code Fix #71196.

fix error code for E0751

2020-04-23T07:46:05+00:00

Sort `MultiSpan`s on creation

2020-04-23T00:15:34+00:00

Do not emit note for projected derived obligations

2020-04-18T23:37:08+00:00

Maintain chain of derived obligations

2020-04-18T23:37:08+00:00

When evaluating the derived obligations from super traits, maintain a reference to the original obligation in order to give more actionable context in the output.

Add a test

2020-03-30T17:44:21+00:00

Tweak `suggest_constraining_type_param`

2020-03-29T20:13:17+00:00

Some of the bound restriction structured suggestions were incorrect while others had subpar output.