impossible-predicates-multiple_supertrait_upcastable-check.rs

//@ check-pass
// issue: rust-lang/rust#106247

pub trait Trait {
    fn method(&self) where Self: Sync;
}

fn main() {}