From e5709fbc956d3395e7b401fd5198524e02542e81 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Sun, 12 May 2024 13:30:35 -0600
Subject: Make (classinstance).send typecheck in HeatVisitor

---
 output/negative/DumbSend-error.java | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 output/negative/DumbSend-error.java

(limited to 'output/negative/DumbSend-error.java')

diff --git a/output/negative/DumbSend-error.java b/output/negative/DumbSend-error.java
new file mode 100644
index 0000000..529ad39
--- /dev/null
+++ b/output/negative/DumbSend-error.java
@@ -0,0 +1,22 @@
+class DumbSend {
+    public static void main(String[] a){
+        System.out.println(new Test().start());
+    }
+}
+
+class Test {
+
+    Test test;
+    int[] i;
+
+    public int start() {
+        i = new int[10];
+        test = i.next();
+        return 0;
+    }
+
+    public Test next() {
+        System.out.println(1);
+        return test;
+    }
+}
-- 
cgit v1.2.3