| error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates |
| --> $DIR/issue-26262.rs:7:6 |
| | |
| LL | impl<T: Tr> S<T::Assoc> { |
| | ^ unconstrained type parameter |
| | |
| help: use the type parameter `T` in the `S` type and use it in the type definition |
| | |
| LL ~ struct S<T, T>(T); |
| LL | |
| LL | trait Tr { type Assoc; fn test(); } |
| LL | |
| LL ~ impl<T: Tr> S<T::Assoc, T> { |
| | |
| |
| error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates |
| --> $DIR/issue-26262.rs:17:6 |
| | |
| LL | impl<'a,T: Trait2<'a>> Trait1<<T as Trait2<'a>>::Foo> for T { |
| | ^^ unconstrained lifetime parameter |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0207`. |
