fixes #1155 (#1156)

`res.crossedProc` is always false when `res.kind` is neither `VarY` nor
`LetY` so that nest procs using only global variables doesn't cause the
error.

---------

Co-authored-by: Andreas Rumpf <[email protected]>

Author: demotomohiro

src/nimony/typenav.nim

@@ -98,7 +98,7 @@ proc getLocalInfo*(c: var TypeCache; s: SymId): LocalInfo =
     if it.kind == compareTo:
       crossedProc = true
     if res.kind != NoSym:
-      res.crossedProc = crossedProc
+      res.crossedProc = crossedProc and res.kind in {VarY, LetY, ParamY, ResultY}
       return res
     it = it.parent
     compareTo = ProcScope

tests/nimony/errmsgs/tclosureunavail.msgs

@@ -0,0 +1 @@
+tests/nimony/errmsgs/tclosureunavail.nim(17, 13) Error: cannot access local variable `x` from another routine; closures are not supported

tests/nimony/errmsgs/tclosureunavail.nim

@@ -0,0 +1,17 @@
+# Tests if Nimony detects code that requires closures.
+# Remove this test when closures are supported.
+
+# should not report closure error in following code
+var x = 0
+proc foo =
+  discard x
+
+proc bar =
+  proc nested =
+    discard x
+
+# should report the error in following code.
+proc baz =
+  var x = 1
+  proc nested =
+    discard x