// check-pass

trait Iterator {
    type Item<'a>: 'a;
}

impl Iterator for () {
    type Item<'a> = &'a ();
}

fn main() {}