src/test/ui/rfc-2632-const-trait-impl/inherent-impl-const-bounds.rs

   1 // check-pass
   2 #![feature(const_trait_impl)]
   3 #![feature(const_fn_trait_bound)]
   4
   5 struct S;
   6
   7 trait A {}
   8 trait B {}
   9
  10 impl const A for S {}
  11 impl const B for S {}
  12
  13 impl S {
  14     const fn a<T: ~const A>() where T: ~const B {
  15
  16     }
  17 }
  18
  19 const _: () = S::a::<S>();
  20
  21 fn main() {}