| //@ run-pass | |
| #![allow(dead_code)] | |
| // A basic test of using a higher-ranked trait bound. | |
| //@ pretty-expanded FIXME #23616 | |
| trait FnLike<A,R> { | |
| fn call(&self, arg: A) -> R; | |
| } | |
| type FnObject<'b> = dyn for<'a> FnLike<&'a isize, &'a isize> + 'b; | |
| fn main() { | |
| } |