11 Commits

Author	SHA1	Message	Date
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