error: cannot specialize on const impl with non-const impl
  --> $DIR/specializing-constness.rs:23:1
   |
LL | impl<T: Spec + Sup> A for T {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: missing `~const` qualifier for specialization
  --> $DIR/specializing-constness.rs:23:9
   |
LL | impl<T: Spec + Sup> A for T {
   |         ^^^^

error: aborting due to 2 previous errors