src/test/ui/rfc-2632-const-trait-impl/default-method-body-is-const-same-trait-ck.rs

   1 #![feature(const_trait_impl)]
   2
   3 #[const_trait]
   4 pub trait Tr {
   5     fn a(&self) {}
   6
   7     fn b(&self) {
   8         ().a()
   9         //~^ ERROR the trait bound
  10     }
  11 }
  12
  13 impl Tr for () {}
  14
  15 fn main() {}