Merge pull request #409 from susliko/literals-and-infix-types

Allow literal types to be operands of an infix type

Author: eed3si9n

grammar.js

@@ -875,7 +875,7 @@ module.exports = grammar({
     _infix_type_choice: $ =>
       prec.left(
         PREC.infix,
-        choice($.compound_type, $.infix_type, $._annotated_type),
+        choice($.compound_type, $.infix_type, $._annotated_type, $.literal_type),
       ),
 
     infix_type: $ =>

test/corpus/types.txt

@@ -623,4 +623,35 @@ class A[
         (identifier)
         (upper_bound
           (type_identifier))
-        (type_identifier)))))
+        (type_identifier)))))
+
+================================================================================
+Union and Intersection Types (Scala 3)
+================================================================================
+
+type A = Foo | Bar & Buz
+type B = "foo" | "bar" & "buz"
+
+--------------------------------------------------------------------------------
+(compilation_unit
+  (type_definition
+    (type_identifier)
+    (infix_type
+      (infix_type
+        (type_identifier)
+        (operator_identifier)
+        (type_identifier))
+      (operator_identifier)
+      (type_identifier)))
+  (type_definition
+    (type_identifier)
+    (infix_type
+      (infix_type
+        (literal_type
+          (string))
+        (operator_identifier)
+        (literal_type
+          (string)))
+      (operator_identifier)
+      (literal_type
+        (string)))))