1 #![feature(const_trait_impl, min_specialization, rustc_attrs)]
3 #[rustc_specialization_trait]
7 impl const Sup for () {}
14 impl<T: ~const Default> const A for T {
15 default fn a() -> u32 {
20 impl<T: Default + Sup> A for T {
21 //~^ ERROR: cannot specialize
22 //~| ERROR: missing `~const` qualifier