1 files changed, 78 insertions, 0 deletions
diff --git a/tests/notnil/tmust_compile.nim b/tests/notnil/tmust_compile.nim
new file mode 100644
index 000000000..10da154f0
--- /dev/null
+++ b/tests/notnil/tmust_compile.nim
@@ -0,0 +1,78 @@
+discard """
+  output: '''success'''
+"""
+
+# bug #6682
+
+type
+    Fields = enum
+        A=1, B, C
+
+    Obj = object
+        fld: array[Fields, int]
+
+    AsGeneric[T] = array[Fields, T]
+    Obj2[T] = object
+      fld: AsGeneric[T]
+
+var a: Obj # this works
+
+var arr: array[Fields, int]
+
+var b = Obj() # this doesn't (also doesn't works with additional fields)
+
+var z = Obj2[int]()
+
+echo "success"
+
+# bug #6555
+
+import tables
+
+type
+  TaskOrNil = ref object
+  Task = TaskOrNil not nil
+
+let table = newTable[string, Task]()
+table.del("task")
+
+# bug #6121
+
+import json
+
+type
+
+  foo = object
+    thing: string not nil
+
+  CTS = ref object
+    subs_by_sid: Table[int, foo]
+
+
+proc parse(cts: CTS, jn: JsonNode) =
+
+  let ces = foo(
+    thing: jn.getStr("thing")
+  )
+
+  cts.subs_by_sid[0] = ces
+
+
+# bug #6489
+
+proc p(x: proc(){.closure.} not nil) = discard
+p(proc(){.closure.} = discard)
+
+# bug #3993
+
+type
+  List[T] = seq[T] not nil
+
+proc `^^`[T](v: T, lst: List[T]): List[T] =
+  result = @[v]
+  result.add(lst)
+
+proc Nil[T](): List[T] = @[]
+
+when isMainModule:
+  let lst = 1 ^^ 2 ^^ Nil[int]()