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