14 Commits

Author	SHA1	Message	Date
Matthias Krüger	6cb627b681	Rollup merge of #117505 - estebank:issue-117501, r=TaKO8Ki ... Fix incorrect trait bound restriction suggestion Suggest ``` error[E0308]: mismatched types --> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12 | LL | pub fn foo<A: MyTrait, B>(a: A) -> B { | - - expected `B` because of return type | | | expected this type parameter LL | return a.bar(); | ^^^^^^^ expected type parameter `B`, found associated type | = note: expected type parameter `B` found associated type `<A as MyTrait>::T` help: consider further restricting this bound | LL | pub fn foo<A: MyTrait<T = B>, B>(a: A) -> B { | +++++++ ``` instead of ``` error[E0308]: mismatched types --> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12 | LL | pub fn foo<A: MyTrait, B>(a: A) -> B { | - - expected `B` because of return type | | | expected this type parameter LL | return a.bar(); | ^^^^^^^ expected type parameter `B`, found associated type | = note: expected type parameter `B` found associated type `<A as MyTrait>::T` help: consider further restricting this bound | LL | pub fn foo<A: MyTrait + <T = B>, B>(a: A) -> B { | +++++++++ ``` Fix #117501.	2023-11-03 12:44:50 +01:00
Michael Goulet	c83f642f12	Pretty print Fn traits in rustc_on_unimplemented	2023-11-02 20:57:05 +00:00
Esteban Küber	9e7345be1f	Fix incorrect trait bound restriction suggestion ... Suggest ``` error[E0308]: mismatched types --> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12 | LL | pub fn foo<A: MyTrait, B>(a: A) -> B { | - - expected `B` because of return type | | | expected this type parameter LL | return a.bar(); | ^^^^^^^ expected type parameter `B`, found associated type | = note: expected type parameter `B` found associated type `<A as MyTrait>::T` help: consider further restricting this bound | LL | pub fn foo<A: MyTrait<T = B>, B>(a: A) -> B { | +++++++ ``` instead of ``` error[E0308]: mismatched types --> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12 | LL | pub fn foo<A: MyTrait, B>(a: A) -> B { | - - expected `B` because of return type | | | expected this type parameter LL | return a.bar(); | ^^^^^^^ expected type parameter `B`, found associated type | = note: expected type parameter `B` found associated type `<A as MyTrait>::T` help: consider further restricting this bound | LL | pub fn foo<A: MyTrait + <T = B>, B>(a: A) -> B { | +++++++++ ``` Fix #117501.	2023-11-02 18:04:41 +00:00
Michael Goulet	592163fb71	Extend impl's def_span to include where clauses	2023-10-09 11:47:02 +00:00
Michael Goulet	30e6cea0ae	Point out if a local trait has no implementations	2023-09-10 21:20:36 +00:00
Michael Howell	31e5dd3a79	diagnostics: add test case for trait bounds diagnostic ... Closes #82038 It was fixed by b8e5ab20ed, a wide-reaching obligation tracking improvement. This commit adds a test case.	2023-09-07 11:36:23 -07:00
Michael Goulet	055452864e	Walk through full path in point_at_path_if_possible	2023-08-25 19:05:38 +00:00
Lukas Markeffsky	b6a3f126c0	change std::marker::Sized to just Sized	2023-06-15 12:01:38 +02:00
Lukas Markeffsky	ee7e717322	tweak suggestion for argument-position impl ?Sized	2023-06-15 12:00:57 +02:00
Esteban Küber	9fadcc143a	Special-case item attributes in the suggestion output	2023-04-12 22:50:10 +00:00
Esteban Küber	5b40aa5eb4	Tweak output for 'add line' suggestion	2023-04-12 22:50:10 +00:00
Michael Goulet	5924c2511e	Only point at impl self ty in WF if trait predicate shares self ty	2023-01-12 22:25:30 +00:00
Michael Goulet	2aabb0fd5d	Point at impl self type for impl wf obligations	2023-01-12 20:44:47 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00