tests/ui/rfc-2632-const-trait-impl/const-closure-trait-method.rs

   1 // check-pass
   2 #![feature(const_trait_impl)]
   3
   4 #[const_trait]
   5 trait Tr {
   6     fn a(self) -> i32;
   7 }
   8
   9 impl const Tr for () {
  10     fn a(self) -> i32 { 42 }
  11 }
  12
  13 const fn need_const_closure<T: ~const FnOnce(()) -> i32>(x: T) -> i32 {
  14     x(())
  15 }
  16
  17 const _: () = assert!(need_const_closure(Tr::a) == 42);
  18
  19 fn main() {}