where F : Foo<'x>
{
want_foo_for_some_tcx(f);
- want_foo_for_any_tcx(f); //~ ERROR not implemented
+ want_foo_for_any_tcx(f); //~ ERROR E0277
}
fn want_foo_for_any_tcx<F>(f: &F)
want_foo_for_any_tcx(b);
want_bar_for_some_ccx(b);
- want_bar_for_any_ccx(b); //~ ERROR not implemented
+ want_bar_for_any_ccx(b); //~ ERROR E0277
}
fn want_bar_for_any_ccx<B>(b: &B)