Add offset features support

Author: Kirill Nesmeyanov

composer.json

@@ -12,8 +12,8 @@
         "php": "^8.1",
         "psr/log": "^1.0|^2.0|^3.0",
         "psr/simple-cache": "^1.0|^2.0|^3.0",
-        "type-lang/parser": "^1.3",
-        "type-lang/printer": "^1.2"
+        "type-lang/parser": "^1.4",
+        "type-lang/printer": "^1.3"
     },
     "autoload": {
         "psr-4": {

src/Platform/GrammarFeature.php

@@ -7,17 +7,17 @@
 enum GrammarFeature
 {
     /**
-     * Enables conditional types such as `T ? X : Y`.
+     * Enables conditional types such as `T ? U : V`.
      */
     case Conditional;
 
     /**
-     * Enables type shapes such as `T{key: X}`.
+     * Enables type shapes such as `T{key: U}`.
      */
     case Shapes;
 
     /**
-     * Enables callable types such as `name(X, Y): T`.
+     * Enables callable types such as `name(U, V): T`.
      */
     case Callables;
 
@@ -27,17 +27,17 @@ enum GrammarFeature
     case Literals;
 
     /**
-     * Enables template arguments such as `T<X, Y>`.
+     * Enables template arguments such as `T<U, V>`.
      */
     case Generics;
 
     /**
-     * Enables logical union types such as `T | X`.
+     * Enables logical union types such as `T | U`.
      */
     case Union;
 
     /**
-     * Enables logical intersection types such as `T & X`.
+     * Enables logical intersection types such as `T & U`.
      */
     case Intersection;
 
@@ -46,6 +46,11 @@ enum GrammarFeature
      */
     case List;
 
+    /**
+     * Enables offset types such as `T[U]`.
+     */
+    case Offsets;
+
     /**
      * Enables or disables support for template argument
      * hints such as `T<out U, in V>`.

src/Runtime/Parser/TypeParser.php

@@ -33,6 +33,7 @@ public static function createFromPlatform(PlatformInterface $platform): self
             union: $platform->isFeatureSupported(GrammarFeature::Union),
             intersection: $platform->isFeatureSupported(GrammarFeature::Intersection),
             list: $platform->isFeatureSupported(GrammarFeature::List),
+            offsets: $platform->isFeatureSupported(GrammarFeature::Offsets),
             hints: $platform->isFeatureSupported(GrammarFeature::Hints),
             attributes: $platform->isFeatureSupported(GrammarFeature::Attributes),
         ));