tests/ui/higher-rank-trait-bounds/hrtb-resolve-lifetime.rs

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