1 #![feature(const_trait_impl, min_specialization, rustc_attrs)]
3 #[rustc_specialization_trait]
7 impl const Sup for () {}
14 impl<T: Default> A for T {
15 default fn a() -> u32 {
20 impl<T: Default + ~const Sup> const A for T {
26 const fn generic<T: Default>() {
28 //~^ ERROR: the trait bound `T: ~const Sup` is not satisfied