summaryrefslogtreecommitdiffstats
path: root/tests/ui/higher-ranked/trait-bounds/hrtb-resolve-lifetime.rs
blob: b97fdf4df508f2160a5e722d97741824190d9e24 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// 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() {
}