// check-pass
// compile-flags: -Znext-solver

fn main() {
    let x: Box<dyn Iterator<Item = ()>> = Box::new(std::iter::empty());
}