4 Commits

Author	SHA1	Message	Date
Michael Goulet	30e6cea0ae	Point out if a local trait has no implementations	2023-09-10 21:20:36 +00:00
Esteban Küber	ef11db803c	Remove unnecessary select_obligations_where_possible and redundant errors	2023-08-26 19:35:54 +00:00
Esteban Küber	bac0e556f0	On let binding type point to type parameter that introduced unmet bound ... On the following example, point at `String` instead of the whole type: ``` error[E0277]: the trait bound `String: Copy` is not satisfied --> $DIR/own-bound-span.rs:14:24 | LL | let _: <S as D>::P<String>; | ^^^^^^ the trait `Copy` is not implemented for `String` | note: required by a bound in `D::P` --> $DIR/own-bound-span.rs:4:15 | LL | type P<T: Copy>; | ^^^^ required by this bound in `D::P` ```	2023-08-26 02:23:25 +00:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00