1 2 3 4 5 6 7 8 9 10 11
// check-pass #![feature(const_trait_impl, effects)] const fn a() {} fn foo<F: FnOnce()>(a: F) {} fn main() { let _ = a; foo(a); }