trait T {}

impl<X> T for X where for<'a> &'a X: IntoIterator, for<'a> <&'a X as IntoIterator>::IntoIter: ExactSizeIterator {}

fn main() {
    let x = vec![0u32];
    let y: &dyn T = &x;
}