]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
0bf4aa26 XL |
2 | #![allow(dead_code)] |
3 | #![allow(unused_variables)] | |
c34b1796 AL |
4 | // pretty-expanded FIXME #23616 |
5 | ||
c34b1796 | 6 | // Test that `F : Fn(isize) -> isize + Send` is interpreted as two |
1a4d82fc | 7 | // distinct bounds on `F`. |
970d7e83 | 8 | |
1a4d82fc | 9 | fn foo1<F>(f: F) |
c34b1796 | 10 | where F : FnOnce(isize) -> isize + Send |
1a4d82fc JJ |
11 | { |
12 | bar(f); | |
223e47cc LB |
13 | } |
14 | ||
1a4d82fc | 15 | fn foo2<F>(f: F) |
c34b1796 | 16 | where F : FnOnce(isize) -> isize + Send |
1a4d82fc JJ |
17 | { |
18 | baz(f); | |
223e47cc | 19 | } |
1a4d82fc JJ |
20 | |
21 | fn bar<F:Send>(f: F) { } | |
22 | ||
c34b1796 | 23 | fn baz<F:FnOnce(isize) -> isize>(f: F) { } |
1a4d82fc JJ |
24 | |
25 | fn main() {} |