1 // Test HRTB supertraits with several levels of expansion required.
5 fn foo(&'tcx self) -> &'tcx isize;
11 fn bar(&'ccx self) -> &'ccx isize;
26 fn want_foo_for_any_tcx<F>(f: &F)
27 where F : for<'tcx> Foo<'tcx>
31 fn want_bar_for_any_ccx<B>(b: &B)
32 where B : for<'ccx> Bar<'ccx>
39 want_foo_for_any_tcx(b);
40 want_bar_for_any_ccx(b);
46 want_foo_for_any_tcx(b);
47 want_bar_for_any_ccx(b); //~ ERROR