//@ known-bug: #139387
//@ needs-rustc-debug-assertions

trait A {
    fn method() -> impl Sized;
}
trait B {
    fn method(Hash: Wrap<impl Beta<U: Copy + for<'a> Epsilon<'_, SI1: Eta>>>) -> impl Sized;
}

fn ambiguous<T: A + B>()
where
    T::method(..): Send,
{
}