When encountering an unmet trait bound, point at local type that doesn't implement the trait: ``` error[E0277]: the trait bound `Bar<T>: Foo` is not satisfied --> $DIR/issue-64855.rs:9:19 | LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ; | ^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound | help: the trait `Foo` is not implemented for `Bar<T>` --> $DIR/issue-64855.rs:9:1 | LL | pub struct Bar<T>(<Self as Foo>::Type) where Self: ; | ^^^^^^^^^^^^^^^^^ ``` |
||
|---|---|---|
| .. | ||
| tuple-struct-fields | ||
| add-tuple-within-arguments.rs | ||
| add-tuple-within-arguments.stderr | ||
| array-diagnostics.rs | ||
| array-diagnostics.stderr | ||
| builtin-fail.rs | ||
| builtin-fail.stderr | ||
| builtin.rs | ||
| index-float.rs | ||
| index-invalid.rs | ||
| index-invalid.stderr | ||
| indexing-in-macro.rs | ||
| missing-field-access.rs | ||
| missing-field-access.stderr | ||
| nested-index.rs | ||
| one-tuple.rs | ||
| tup.rs | ||
| tuple-arity-mismatch.rs | ||
| tuple-arity-mismatch.stderr | ||
| tuple-index-fat-types.rs | ||
| tuple-index-not-tuple.rs | ||
| tuple-index-not-tuple.stderr | ||
| tuple-index-out-of-bounds.rs | ||
| tuple-index-out-of-bounds.stderr | ||
| tuple-index.rs | ||
| wrong_argument_ice-2.rs | ||
| wrong_argument_ice-2.stderr | ||
| wrong_argument_ice-3.rs | ||
| wrong_argument_ice-3.stderr | ||
| wrong_argument_ice-4.rs | ||
| wrong_argument_ice-4.stderr | ||
| wrong_argument_ice.rs | ||
| wrong_argument_ice.stderr | ||