src/test/ui/rfc-2632-const-trait-impl/default-method-body-is-const-with-staged-api.rs

   1 // check-pass
   2
   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.
   7
   8 #![feature(staged_api)]
   9 #![feature(const_trait_impl)]
  10 #![stable(since = "1", feature = "foo")]
  11
  12 #[const_trait]
  13 trait Tr {
  14     fn a() {}
  15 }
  16
  17 fn main() {}