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