// Makes sure we deal with escaping lifetimes *above* INNERMOST when
// suggesting trait for ambiguous associated type.

impl<I, V> Validator<I> for ()
where
    for<'iter> dyn Validator<<&'iter I>::Item>:,
    //~^ ERROR ambiguous associated type
{}

pub trait Validator<T> {}

fn main() {}