tests/ui/rfc-2632-const-trait-impl/specializing-constness-2.rs

   1 #![feature(const_trait_impl, min_specialization, rustc_attrs)]
   2
   3 #[rustc_specialization_trait]
   4 #[const_trait]
   5 pub trait Sup {}
   6
   7 impl const Sup for () {}
   8
   9 #[const_trait]
  10 pub trait A {
  11     fn a() -> u32;
  12 }
  13
  14 impl<T: Default> A for T {
  15     default fn a() -> u32 {
  16         2
  17     }
  18 }
  19
  20 impl<T: Default + ~const Sup> const A for T {
  21     fn a() -> u32 {
  22         3
  23     }
  24 }
  25
  26 const fn generic<T: Default>() {
  27     <T as A>::a();
  28     //~^ ERROR: the trait bound `T: ~const Sup` is not satisfied
  29 }
  30
  31 fn main() {}