1 error: const trait implementations may not use non-const default functions
2 --> $DIR/impl-with-default-fn.rs:17:1
4 LL | / impl const Tr for S {
5 LL | | fn req(&self) {}
9 = note: `prov` not implemented
11 error: const trait implementations may not use non-const default functions
12 --> $DIR/impl-with-default-fn.rs:32:1
14 LL | / impl const Tr for u32 {
15 LL | | fn req(&self) {}
16 LL | | fn default() {}
20 = note: `prov` not implemented
22 error[E0046]: not all trait items implemented, missing: `req`
23 --> $DIR/impl-with-default-fn.rs:26:1
26 | -------------- `req` from trait
28 LL | impl const Tr for u16 {
29 | ^^^^^^^^^^^^^^^^^^^^^ missing `req` in implementation
31 error: aborting due to 3 previous errors
33 For more information about this error, try `rustc --explain E0046`.