tests/ui/consts/issue-70942-trait-vs-impl-mismatch.rs

   1 trait Nat {
   2     const VALUE: usize;
   3 }
   4
   5 struct Zero;
   6
   7 impl Nat for Zero {
   8     const VALUE: i32 = 0;
   9     //~^ ERROR implemented const `VALUE` has an incompatible type for trait
  10 }
  11
  12 fn main() {
  13     let _: [i32; Zero::VALUE] = [];
  14 }