blob: b4cc7a9e17e64be0546eb26811eec884f71df989 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// known-bug: #110395
#![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);
fn main() {}
|