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

   1 #![feature(const_trait_impl)]
   2
   3 #[const_trait]
   4 trait Tr {}
   5 impl Tr for () {}
   6
   7 const fn foo<T>() where T: ~const Tr {}
   8
   9 #[const_trait]
  10 pub trait Foo {
  11     fn foo() {
  12         foo::<()>();
  13         //~^ ERROR the trait bound `(): ~const Tr` is not satisfied
  14     }
  15 }
  16
  17 fn main() {}