src/test/ui/higher-rank-trait-bounds/hrtb-fn-like-trait-object.rs

   1 // run-pass
   2 // A basic test of using a higher-ranked trait bound.
   3
   4
   5 trait FnLike<A,R> {
   6     fn call(&self, arg: A) -> R;
   7 }
   8
   9 type FnObject<'b> = dyn for<'a> FnLike<&'a isize, &'a isize> + 'b;
  10
  11 struct Identity;
  12
  13 impl<'a, T> FnLike<&'a T, &'a T> for Identity {
  14     fn call(&self, arg: &'a T) -> &'a T {
  15         arg
  16     }
  17 }
  18
  19 fn call_repeatedly(f: &FnObject) {
  20     let x = 3;
  21     let y = f.call(&x);
  22     assert_eq!(3, *y);
  23 }
  24
  25 fn main() {
  26     call_repeatedly(&Identity);
  27 }