3 #![feature(type_alias_impl_trait)]
7 fn call() -> Self::Output;
10 impl<'a> Callable for &'a () {
11 type Output = impl Sized;
12 fn call() -> Self::Output {}
15 fn test<'a>() -> impl Sized {
16 <&'a () as Callable>::call()
19 fn want_static<T: 'static>(_: T) {}
22 want_static(<&'a () as Callable>::call());