Merge pull request #10588 from asgerf/rb/rbi-instantiated-type

Ruby: add RbiInstantiatedType

Author: asgerf

ruby/ql/lib/codeql/ruby/experimental/Rbi.qll

@@ -132,6 +132,9 @@ module Rbi {
       }
     }
 
+    /**
+     * A use of `T::Hash`.
+     */
     class RbiHashType extends RbiType, ConstantReadAccessFromT {
       RbiHashType() { this.getName() = "Hash" }
 
@@ -144,6 +147,11 @@ module Rbi {
       Expr getValueType() { result = this.getRefNode().getArgument(1) }
     }
 
+    /** A type instantiated with type arguments, such as `T::Array[String]`. */
+    class RbiInstantiatedType extends RbiType, ElementReference {
+      RbiInstantiatedType() { this.getReceiver() instanceof RbiType }
+    }
+
     /**
      * A call to `T.proc`. This defines a type signature for a proc or block
      */

ruby/ql/test/library-tests/experimental/Rbi.expected

@@ -26,12 +26,14 @@ rbiTypes
 | test_types.rb:38:48:38:53 | String |
 | test_types.rb:43:22:43:22 | T |
 | test_types.rb:43:22:43:28 | Hash |
+| test_types.rb:43:22:43:50 | ...[...] |
 | test_types.rb:43:30:43:30 | T |
 | test_types.rb:43:30:43:38 | call to untyped |
 | test_types.rb:43:41:43:41 | T |
 | test_types.rb:43:41:43:49 | call to untyped |
 | test_types.rb:46:21:46:21 | T |
 | test_types.rb:46:21:46:28 | Array |
+| test_types.rb:46:21:46:36 | ...[...] |
 | test_types.rb:46:30:46:35 | Symbol |
 | test_types.rb:49:26:49:26 | T |
 | test_types.rb:49:26:49:46 | call to any |
@@ -100,6 +102,8 @@ parameterTypes
 | test_types.rb:30:7:30:54 | Pair | test_types.rb:33:29:33:34 | &block | test_types.rb:30:14:30:54 | call to nilable |
 | test_types.rb:37:7:37:15 | Pair | test_types.rb:41:18:41:18 | a | test_types.rb:37:10:37:15 | String |
 | test_types.rb:38:7:38:54 | Pair | test_types.rb:41:21:41:26 | &block | test_types.rb:38:14:38:54 | call to returns |
+| test_types.rb:43:16:43:50 | Pair | test_types.rb:44:17:44:22 | **hash | test_types.rb:43:22:43:50 | ...[...] |
+| test_types.rb:46:16:46:36 | Pair | test_types.rb:47:25:47:28 | *arr | test_types.rb:46:21:46:36 | ...[...] |
 | test_types.rb:49:16:49:46 | Pair | test_types.rb:50:14:50:21 | new_name | test_types.rb:49:26:49:46 | call to any |
 | test_types.rb:52:16:52:32 | Pair | test_types.rb:53:24:53:28 | value | test_types.rb:52:23:52:32 | Boolean |
 procParameterTypes