#![feature(const_trait_impl)]
#[const_trait]
trait A {
#[const_trait] //~ ERROR attribute should be applied
fn foo(self);
}
fn main() {}