// compile-flags: -Ztrait-solver=next

// In the new solver, we are trying to select `<?0 as Iterator>::Item: Debug`,
// which, naively can be unified with every impl of `Debug` if we're not careful.
// This test makes sure that we treat projections with inference var substs as
// placeholders during fast reject.

fn iter<T: Iterator>() -> <T as Iterator>::Item {
    todo!()
}

fn main() {
    println!("{:?}", iter::<_>());
    //~^ ERROR type annotations needed
}