1 files changed, 9 insertions, 0 deletions
diff --git a/typecheck/tests/NewNone.java b/typecheck/tests/NewNone.java
new file mode 100644
index 0000000..7858853
--- /dev/null
+++ b/typecheck/tests/NewNone.java
@@ -0,0 +1,9 @@
+class NewNone{
+    public static void main(String[] a){
+        A a ;
+        a = new A() ;
+    }
+}
+
+class A {
+}