Ticket #142: ticket142.patch

Source/Members.cobra

@@ -979 +979 @@
                 for decl in .parentBox.declsInOrder
                     if decl inherits BoxVar
                         assert decl.type
-                        if not decl.type inherits NilableType and decl.type.isReference and not decl.isShared
+                        if not decl.type inherits NilableType and decl.type.isReference and not decl.isShared and not .parentBox.isGeneric
                             if decl.name.startsWith('_')
                                 expr = IdentifierExpr(token, decl) to Expr
                             else

Tests/240-generics/300-declare-generic-classes/604-instantiate-with-nilable-type.cobra

@@ +1 @@
+class G<of T>
+    var myT as T
+
+class Program
+    var g = G<of int?>()
+    
+    def foo
+        pass
+
+    def main
+        p = Program()
+        p.foo