From eb4b5e8f6736800d4b886a5d9bfde83853620ae3 Mon Sep 17 00:00:00 2001
From: Christian Schwarz <me@cschwarz.com>
Date: Thu, 15 Nov 2018 20:32:27 +0100
Subject: [PATCH] test for .length field access, which is invalid in MJ

---
 semantic/array_length.invalid.java | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 semantic/array_length.invalid.java

diff --git a/semantic/array_length.invalid.java b/semantic/array_length.invalid.java
new file mode 100644
index 0000000..9644746
--- /dev/null
+++ b/semantic/array_length.invalid.java
@@ -0,0 +1,7 @@
+class ArrayLength {
+    public static void main(String[] args) {
+        int[] x = new int[23];
+        /* use of .length is invalid in MiniJava */
+        int y = x.length;
+    }
+}
-- 
2.26.2