about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/bound-normalization-fail.stderr
AgeCommit message (Collapse)AuthorLines
2020-10-06Check opaque types satisfy their boundsMatthew Jasper-2/+0
2020-06-04resolve error code e0760csmoe-2/+2
2020-05-19Merge branch 'master' into issue-69276csmoe-1/+2
2020-05-18bless suggestion on spell outcsmoe-2/+3
2020-05-09adjust testsRalf Jung-1/+2
2020-05-02On type mismatch involving associated type, suggest constraintEsteban Küber-4/+8
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 `<T as Foo>::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:Foo<Y=i32>>(t: &T) { } | ----- required by this bound in `want_y` | = note: expected type `i32` found associated type `<T as Foo>::Y` help: consider constraining the associated type `<T as Foo>::Y` to `i32` | LL | fn have_x_want_y<T:Foo<X=u32, Y = i32>>(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 `<impl Trait as Trait>::A` help: consider constraining the associated type `<impl Trait as Trait>::A` to `usize` | LL | fn foo(x: impl Trait<A = usize>) { | ^^^^^^^^^^ ```
2020-04-11rustc: Add a warning count upon completionRoccoDev-1/+1
2020-02-02compiletest: error if `compile-fail` header in ui test.Tyler Lanphear-4/+4
2019-11-18Surround types with backticks in type errorsEsteban Küber-2/+2
2019-11-18Specific labels when referring to "expected" and "found" typesEsteban Küber-4/+4
2019-09-18Add explanation to type mismatch involving type params and assoc typesEsteban Küber-0/+4
2019-08-20--bless post no async_await gates in tests.Mazdak Farrokhzad-4/+4
2019-08-16Update stderr files with --blesssd234678-3/+3
2019-08-12typeck: Prohibit RPIT types that inherit lifetimesDavid Wood-4/+10
This commit prohibits return position `impl Trait` types that "inherit lifetimes" from the parent scope. The intent is to forbid cases that are challenging until they can be addressed properly.
2019-08-02Update syntax in existing testsvarkor-3/+3
2019-07-30--bless tests due to INCOMPLETE_FEATURES being a lint.Mazdak Farrokhzad-0/+2
2019-07-03Normalize projections in opaque typesJonas Schievink-0/+29