original.name="While_Invalid_25"
whiley.compile.ignore=true
WhileyCompiler.issue=956
======
>>> main.whiley
function count(int n) -> (int|null r):
   int|null i = 0
   //
   while i < n:
      i = null
   //
   return i
---
E400 main.whiley 7,9