3 // This was an ICE, because the compiler ensures the
4 // function to be const when performing const checking,
5 // but functions marked with the attribute are not const
6 // *and* subject to const checking.
8 #![feature(staged_api)]
9 #![feature(const_trait_impl)]
10 #![stable(since = "1", feature = "foo")]