github-issue-2574.dfy(12,2): Error: out-parameter 'i', which is subject to definite-assignment rules, might be uninitialized at this return point
   |
12 |   }
   |   ^


Dafny program verifier finished with 0 verified, 1 error
