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

   1 #![feature(const_trait_impl)]
   2
   3 trait Foo {
   4     fn a(&self);
   5 }
   6 trait Bar: ~const Foo {}
   7
   8 const fn foo<T: Bar>(x: &T) {
   9     x.a();
  10     //~^ ERROR the trait bound
  11     //~| ERROR cannot call
  12 }
  13
  14 fn main() {}