blob: 1b45cd9aab9da51f4583c3c64c2d2a5e92e8e008 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// check-pass
// This was an ICE, because the compiler ensures the
// function to be const when performing const checking,
// but functions marked with the attribute are not const
// *and* subject to const checking.
#![feature(staged_api)]
#![feature(const_trait_impl)]
#![stable(since = "1", feature = "foo")]
#[const_trait]
trait Tr {
fn a() {}
}
fn main() {}
|