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

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