frontend: Add tests for unnamed field access

dinfuehr · Nov 1, 2024 · b1d3d24 · b1d3d24
1 parent e02e2ad
commit b1d3d24
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/dora-frontend/src/typeck/tests.rs b/dora-frontend/src/typeck/tests.rs
@@ -4793,6 +4793,31 @@ fn unnamed_class_field() {
     );
 }
 
+#[test]
+fn unnamed_access_on_named_field() {
+    err(
+        "
+        class Foo { a: Int, b: Bool }
+        fn f(x: Foo): Int {
+            x.0
+        }
+    ",
+        (4, 15),
+        ErrorMessage::UnknownField("0".into(), "Foo".into()),
+    );
+
+    err(
+        "
+        struct Foo { a: Int, b: Bool }
+        fn f(x: Foo): Int {
+            x.0
+        }
+    ",
+        (4, 15),
+        ErrorMessage::UnknownField("0".into(), "Foo".into()),
+    );
+}
+
 #[test]
 fn unnamed_struct_field() {
     ok("