//@ compile-flags: -Znext-solver
//@ ignore-compare-mode-next-solver (explicit revisions)
//@ check-pass
#![allow(unconditional_recursion)]

// Regression test for trait-system-refactor-initiative#182. If multiple
// opaque types result in different item bounds, do not apply them.

trait Trait<T> {}
impl<T, U> Trait<T> for U {}

fn impls_trait<T: Trait<U>, U>(_: T) -> U {
    todo!()
}

fn overlap<T, U>() -> (impl Trait<T>, impl Trait<U>) {
    let mut x = overlap::<T, U>().0;
    x = overlap::<T, U>().1;
    let u = impls_trait(x);
    let _: u32 = u;
    ((), ())
}
fn main() {}