blob: 13881e042a32e8b94a73aa933f58cc381784f907 (
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(feature = "foo", since = "3.3.3")]
#[const_trait]
trait Tr {
fn a() {}
}
fn main() {}
|