src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs

   1 #![feature(const_trait_impl)]
   2
   3 pub trait A {}
   4 //~^ NOTE: this trait must be annotated with `#[const_trait]`
   5
   6 impl const A for () {}
   7 //~^ ERROR: const `impl`s must be for traits marked with `#[const_trait]`
   8 //~| ERROR: ~const can only be applied to `#[const_trait]` traits
   9
  10 fn main() {}