]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
1a4d82fc | 3 | // A basic test of using a higher-ranked trait bound. |
223e47cc | 4 | |
c34b1796 AL |
5 | // pretty-expanded FIXME #23616 |
6 | ||
1a4d82fc JJ |
7 | trait FnLike<A,R> { |
8 | fn call(&self, arg: A) -> R; | |
223e47cc LB |
9 | } |
10 | ||
dc9dc135 | 11 | type FnObject<'b> = dyn for<'a> FnLike<&'a isize, &'a isize> + 'b; |
223e47cc LB |
12 | |
13 | fn main() { | |
223e47cc | 14 | } |