tests/crashes/139387.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ 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,
{
}