SIP-64 Context bounds for type members

eed3si9n · Dec 12, 2024 · 9e1671f · 9e1671f
1 parent 6c5e7d2
commit 9e1671f
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/grammar.js b/grammar.js
@@ -544,6 +544,7 @@ module.exports = grammar({
           field("type_parameters", optional($.type_parameters)),
           field("bound", optional($.lower_bound)),
           field("bound", optional($.upper_bound)),
+          field("bound", optional($._context_bounds)),
         ),
       ),
 

diff --git a/test/corpus/definitions.txt b/test/corpus/definitions.txt
@@ -1027,6 +1027,25 @@ class A {
         (type_parameters
           (identifier))))))
 
+================================================================================
+Type definitions (Scala 3 syntax)
+================================================================================
+
+class A:
+  type Element: Order
+
+--------------------------------------------------------------------------------
+
+(compilation_unit
+  (class_definition
+    (identifier)
+    (template_body
+      (type_definition
+        (type_identifier)
+        (context_bound
+          (type_identifier))))))
+
+
 ================================================================================
 Function declarations
 ================================================================================