]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
85aaf69f SL |
3 | // Check that we do not report ambiguities when equivalent predicates |
4 | // (modulo bound lifetime names) appears in the environment | |
5 | // twice. Issue #21965. | |
223e47cc | 6 | |
c34b1796 AL |
7 | // pretty-expanded FIXME #23616 |
8 | ||
85aaf69f SL |
9 | fn foo<T>(t: T) -> i32 |
10 | where T : for<'a> Fn(&'a u8) -> i32, | |
11 | T : for<'b> Fn(&'b u8) -> i32, | |
12 | { | |
13 | t(&3) | |
14 | } | |
223e47cc LB |
15 | |
16 | fn main() { | |
223e47cc | 17 | } |