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

// When proving auto trait bounds, make sure that we depend on auto trait
// leakage if we can also prove it via an item bound.
fn is_send<T: Send>(_: T) {}

fn direct() -> impl Send {
    is_send(check(false)); // leaks auto traits, depends on `check`
    1u16
}

trait Indir: Send {}
impl Indir for u32 {}
fn indir() -> impl Indir {
    is_send(check(false)); // leaks auto traits, depends on `check`
    1u32
}

fn check(b: bool) -> impl Sized {
    if b {
        // must not leak auto traits, as we otherwise get a query cycle.
        is_send(direct());
        is_send(indir());
    }
    1u64
}

fn main() {
    check(true);
}