1 files changed, 17 insertions, 0 deletions
diff --git a/output/negative/NonDistinctTypes-error.java b/output/negative/NonDistinctTypes-error.java
new file mode 100644
index 0000000..9909e91
--- /dev/null
+++ b/output/negative/NonDistinctTypes-error.java
@@ -0,0 +1,17 @@
+class StealMainArg {
+    public static void main(String[] z) {
+        A a ;
+        a = new A() ;
+        System.out.println(a.foo(3)) ;
+    }
+}
+
+class A {
+
+    int b ;
+    boolean b ;
+
+    public int foo(int a) {
+        return a ;
+    }
+}