src/test/ui/rfc-2632-const-trait-impl/super-traits-fail.rs

   1 #![feature(const_trait_impl)]
   2
   3 trait Foo {
   4     fn a(&self);
   5 }
   6 trait Bar: ~const Foo {}
   7
   8 struct S;
   9 impl Foo for S {
  10     fn a(&self) {}
  11 }
  12
  13 impl const Bar for S {}
  14 //~^ ERROR the trait bound
  15
  16 fn main() {}