blob: cde0b8611603344607b21787d8ea9985e9fd8ddb [file] [log] [blame] [edit]
#![feature(unboxed_closures)]
#![feature(type_alias_impl_trait)]
//@ check-pass
type FunType = impl Fn<()>;
static STATIC_FN: FunType = some_fn;
fn some_fn() {}
fn main() {
let _: <FunType as FnOnce<()>>::Output = STATIC_FN();
}