error: const trait implementations may not use non-const default functions
  --> $DIR/impl-with-default-fn.rs:17:1
   |
LL | / impl const Tr for S {
LL | |     fn req(&self) {}
LL | | }
   | |_^
   |
   = note: `prov` not implemented

error: const trait implementations may not use non-const default functions
  --> $DIR/impl-with-default-fn.rs:32:1
   |
LL | / impl const Tr for u32 {
LL | |     fn req(&self) {}
LL | |     fn default() {}
LL | | }
   | |_^
   |
   = note: `prov` not implemented

error[E0046]: not all trait items implemented, missing: `req`
  --> $DIR/impl-with-default-fn.rs:26:1
   |
LL |     fn req(&self);
   |     -------------- `req` from trait
...
LL | impl const Tr for u16 {
   | ^^^^^^^^^^^^^^^^^^^^^ missing `req` in implementation

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0046`.