error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates --> $DIR/type-alias-impl-trait-unconstrained-lifetime.rs:10:6 | LL | impl<'a, I: Iterator> Trait for (i32, I) { | ^^ unconstrained lifetime parameter error: aborting due to previous error For more information about this error, try `rustc --explain E0207`.