blob: 9ffccd3d8ff0d9aaaa926a8d74cb16f89f12d84a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// run-pass
#![allow(dead_code)]
// Check that we do not report ambiguities when the same predicate
// appears in the environment twice. Issue #21965.
// pretty-expanded FIXME #23616
trait Foo {
type B;
fn get() -> Self::B;
}
fn foo<T>() -> ()
where T : Foo<B=()>, T : Foo<B=()>
{
<T as Foo>::get()
}
fn main() {
}
|