| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-10-06 | Check opaque types satisfy their bounds | Matthew Jasper | -2/+0 | |
| 2020-06-04 | resolve error code e0760 | csmoe | -2/+2 | |
| 2020-05-19 | Merge branch 'master' into issue-69276 | csmoe | -1/+2 | |
| 2020-05-18 | bless suggestion on spell out | csmoe | -2/+3 | |
| 2020-05-09 | adjust tests | Ralf Jung | -1/+2 | |
| 2020-05-02 | On type mismatch involving associated type, suggest constraint | Esteban 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-11 | rustc: Add a warning count upon completion | RoccoDev | -1/+1 | |
| 2020-02-02 | compiletest: error if `compile-fail` header in ui test. | Tyler Lanphear | -4/+4 | |
| 2019-11-18 | Surround types with backticks in type errors | Esteban Küber | -2/+2 | |
| 2019-11-18 | Specific labels when referring to "expected" and "found" types | Esteban Küber | -4/+4 | |
| 2019-09-18 | Add explanation to type mismatch involving type params and assoc types | Esteban Küber | -0/+4 | |
| 2019-08-20 | --bless post no async_await gates in tests. | Mazdak Farrokhzad | -4/+4 | |
| 2019-08-16 | Update stderr files with --bless | sd234678 | -3/+3 | |
| 2019-08-12 | typeck: Prohibit RPIT types that inherit lifetimes | David 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-02 | Update syntax in existing tests | varkor | -3/+3 | |
| 2019-07-30 | --bless tests due to INCOMPLETE_FEATURES being a lint. | Mazdak Farrokhzad | -0/+2 | |
| 2019-07-03 | Normalize projections in opaque types | Jonas Schievink | -0/+29 | |
