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