about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/bound-normalization-fail.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-55/+0
2022-11-12Make impl_trait_projections a feature gate.Camille GILLOT-2/+5
2022-11-12Bless ui tests.Camille GILLOT-4/+4
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+6
2022-04-28Revert diagnostic duplication and accidental stabilizationOli Scherer-50/+3
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-8/+55
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-12/+12
This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-12/+12
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-12/+12
by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2021-12-11Tweak assoc type obligation spansEsteban Kuber-2/+12
* Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors
2021-08-24Normalize associated types with bound varsJack Huey-2/+2
2021-08-11Modify structured suggestion outputEsteban Küber-2/+2
* On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span
2021-07-18Remove impl_trait_in_bindings feature flagSantiago Pastorino-21/+12
2021-04-03Remove redundant `ignore-tidy-linelength` annotationsSimon Jakobi-4/+4
This is step 2 towards fixing #77548. In the codegen and codegen-units test suites, the `//` comment markers were kept in order not to affect any source locations. This is because these tests cannot be automatically `--bless`ed.
2021-03-16fix expected/found order on impl trait projection mismatchSNCPlay42-6/+6
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