1 // Regression test for issue 67856
3 #![feature(unboxed_closures)]
4 #![feature(type_alias_impl_trait)]
10 impl<F> FnOnce<()> for &F {
11 //~^ ERROR type parameter `F` must be used
12 type Output = impl MyTrait;
13 extern "rust-call" fn call_once(self, _: ()) -> Self::Output {}