src/test/ui/rfc-2632-const-trait-impl/specializing-constness.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: ~const Default> const A for T {
  15     default fn a() -> u32 {
  16         2
  17     }
  18 }
  19
  20 impl<T: Default + Sup> A for T { //~ ERROR: cannot specialize
  21     fn a() -> u32 {
  22         3
  23     }
  24 }
  25
  26 fn main() {}