1 files changed, 27 insertions, 0 deletions
diff --git a/tests/notnil/tnotnil1.nim b/tests/notnil/tnotnil1.nim
new file mode 100644
index 000000000..60666d64d
--- /dev/null
+++ b/tests/notnil/tnotnil1.nim
@@ -0,0 +1,27 @@
+discard """
+  errormsg: "'y' is provably nil"
+  line:25
+"""
+
+import strutils
+{.experimental: "notnil".}
+
+type
+  TObj = object
+    x, y: int
+
+proc q(x: pointer not nil) =
+  discard
+
+proc p() =
+  var x: pointer
+  if not x.isNil:
+    q(x)
+
+  let y = x
+  if not y.isNil:
+    q(y)
+  else:
+    q(y)
+
+p()