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         //~| ERROR cannot call
  11     }
  12 }
  13
  14 impl Tr for () {}
  15
  16 fn main() {}