astgen: disallow ??type

StunxFS · Jul 3, 2024 · 8ffc16b · 8ffc16b
1 parent 5876341
commit 8ffc16b
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/bsc/astgen/__init__.py b/bsc/astgen/__init__.py
@@ -562,7 +562,13 @@ def user_type_decl(self, *names):
         return BasicType(left, left.pos)
 
     def option_type_decl(self, *nodes):
-        return OptionType(nodes[1], self.mkpos(nodes[0]))
+        inner_type = nodes[1]
+        pos = self.mkpos(nodes[0])
+        if isinstance(inner_type, OptionType):
+            report.error(
+                "cannot declare an option type using another option type", pos
+            )
+        return OptionType(inner_type, pos)
 
     def array_type_decl(self, *nodes):
         has_size = not isinstance(nodes[1], Token)

diff --git a/tests/invalid_code/invalid_option_type.bs b/tests/invalid_code/invalid_option_type.bs
@@ -0,0 +1,3 @@
+fn main() ??int {
+    return 0;
+}
diff --git a/tests/invalid_code/invalid_option_type.out b/tests/invalid_code/invalid_option_type.out
@@ -0,0 +1 @@
+tests/invalid_code/invalid_option_type.bs:1:11: error: cannot declare an option type using another option type
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		tests/invalid_code/invalid_option_type.bs:1:11: error: cannot declare an option type using another option type