Update

Author: soutaro

stdlib/builtin/array.rbi

@@ -1,4 +1,4 @@
-class Array < Object
+class Array[Elem] < Object
   include Enumerable
 
   def self.[]: [U] (*U arg0) -> ::Array[U]
@@ -34,7 +34,7 @@ class Array < Object
   def collect: [U] () { (Elem arg0) -> U } -> ::Array[U]
              | () -> T::Enumerator[Elem]
 
-  def combination: (Integer arg0) { (::Array[Elem] arg0) -> BasicObject } -> ::Array[Elem]
+  def combination: (Integer arg0) { (::Array[Elem] arg0) -> any } -> ::Array[Elem]
                  | (Integer arg0) -> T::Enumerator[::Array[Elem]]
 
   def compact: () -> ::Array[any]
@@ -45,33 +45,33 @@ class Array < Object
 
   def count: () -> Integer
            | (?Elem arg0) -> Integer
-           | () { (Elem arg0) -> BasicObject } -> Integer
+           | () { (Elem arg0) -> any } -> Integer
 
-  def cycle: (?Integer arg0) { (Elem arg0) -> BasicObject } -> any
+  def cycle: (?Integer arg0) { (Elem arg0) -> any } -> any
            | (?Integer arg0) -> T::Enumerator[Elem]
 
   def delete: (Elem arg0) -> Elem?
             | (Elem arg0) { () -> Elem } -> Elem
 
   def delete_at: (Integer arg0) -> Elem?
 
-  def delete_if: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def delete_if: () { (Elem arg0) -> any } -> ::Array[Elem]
                | () -> T::Enumerator[Elem]
 
   def difference: (*::Array[any] arrays) -> ::Array[Elem]
 
   def drop: (Integer arg0) -> ::Array[Elem]
 
-  def drop_while: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def drop_while: () { (Elem arg0) -> any } -> ::Array[Elem]
                 | () -> T::Enumerator[Elem]
 
   def each: () -> T::Enumerator[Elem]
-          | () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+          | () { (Elem arg0) -> any } -> ::Array[Elem]
 
-  def each_index: () { (Integer arg0) -> BasicObject } -> ::Array[Elem]
+  def each_index: () { (Integer arg0) -> any } -> ::Array[Elem]
                 | () -> T::Enumerator[Elem]
 
-  def empty?: () -> T::Boolean
+  def empty?: () -> bool
 
   def fetch: (Integer arg0) -> Elem
            | (Integer arg0, ?Elem arg1) -> Elem
@@ -89,10 +89,10 @@ class Array < Object
 
   def flatten: (?Integer depth) -> ::Array[any]
 
-  def `include?`: [U] (U arg0) -> T::Boolean
+  def `include?`: [U] (U arg0) -> bool
 
   def index: [U] (?U arg0) -> Integer?
-           | () { (Elem arg0) -> BasicObject } -> Integer?
+           | () { (Elem arg0) -> any } -> Integer?
            | () -> T::Enumerator[Elem]
 
   def initialize: () -> Object
@@ -105,7 +105,7 @@ class Array < Object
 
   def join: (?String arg0) -> String
 
-  def keep_if: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def keep_if: () { (Elem arg0) -> any } -> ::Array[Elem]
 
   def last: () -> Elem?
           | (?Integer arg0) -> ::Array[Elem]
@@ -118,10 +118,10 @@ class Array < Object
   def map!: [U] () { (Elem arg0) -> U } -> ::Array[U]
           | () -> T::Enumerator[Elem]
 
-  def member?: (Elem arg0) -> T::Boolean
+  def member?: (Elem arg0) -> bool
 
   def permutation: (?Integer arg0) -> T::Enumerator[Elem]
-                 | (?Integer arg0) { (::Array[Elem] arg0) -> BasicObject } -> ::Array[Elem]
+                 | (?Integer arg0) { (::Array[Elem] arg0) -> any } -> ::Array[Elem]
 
   def pop: (?Integer arg0) -> ::Array[Elem]
          | () -> Elem?
@@ -134,27 +134,27 @@ class Array < Object
 
   def rassoc: [U] (U arg0) -> Elem?
 
-  def reject: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def reject: () { (Elem arg0) -> any } -> ::Array[Elem]
             | () -> T::Enumerator[Elem]
 
-  def reject!: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def reject!: () { (Elem arg0) -> any } -> ::Array[Elem]
              | () -> T::Enumerator[Elem]
 
-  def repeated_combination: (Integer arg0) { (::Array[Elem] arg0) -> BasicObject } -> ::Array[Elem]
+  def repeated_combination: (Integer arg0) { (::Array[Elem] arg0) -> any } -> ::Array[Elem]
                           | (Integer arg0) -> T::Enumerator[Elem]
 
-  def repeated_permutation: (Integer arg0) { (::Array[Elem] arg0) -> BasicObject } -> ::Array[Elem]
+  def repeated_permutation: (Integer arg0) { (::Array[Elem] arg0) -> any } -> ::Array[Elem]
                           | (Integer arg0) -> T::Enumerator[Elem]
 
   def reverse: () -> ::Array[Elem]
 
   def reverse!: () -> ::Array[Elem]
 
-  def reverse_each: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def reverse_each: () { (Elem arg0) -> any } -> ::Array[Elem]
                   | () -> T::Enumerator[Elem]
 
   def rindex: (?Elem arg0) -> Integer?
-            | () { (Elem arg0) -> BasicObject } -> Integer?
+            | () { (Elem arg0) -> any } -> Integer?
             | () -> T::Enumerator[Elem]
 
   def rotate: (?Integer arg0) -> ::Array[Elem]
@@ -164,10 +164,10 @@ class Array < Object
   def sample: () -> Elem?
             | (?Integer arg0) -> ::Array[Elem]
 
-  def select: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def select: () { (Elem arg0) -> any } -> ::Array[Elem]
             | () -> T::Enumerator[Elem]
 
-  def select!: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def select!: () { (Elem arg0) -> any } -> ::Array[Elem]
              | () -> T::Enumerator[Elem]
 
   def shift: () -> Elem?
@@ -192,7 +192,7 @@ class Array < Object
 
   def take: (Integer arg0) -> ::Array[Elem]
 
-  def take_while: () { (Elem arg0) -> BasicObject } -> ::Array[Elem]
+  def take_while: () { (Elem arg0) -> any } -> ::Array[Elem]
                 | () -> T::Enumerator[Elem]
 
   def to_a: () -> ::Array[Elem]
@@ -228,5 +228,3 @@ class Array < Object
 
   def to_s: () -> String
 end
-
-Array::Elem: any

stdlib/builtin/basic_object.rbi

@@ -1,15 +1,15 @@
 class BasicObject
-  def !: () -> T::Boolean
+  def !: () -> bool
 
-  def !=: (BasicObject other) -> T::Boolean
+  def !=: (any other) -> bool
 
-  def ==: (BasicObject other) -> T::Boolean
+  def ==: (any other) -> bool
 
   def __id__: () -> Integer
 
-  def __send__: (Symbol arg0, *BasicObject arg1) -> any
+  def __send__: (Symbol arg0, *any arg1) -> any
 
-  def equal?: (BasicObject other) -> T::Boolean
+  def equal?: (any other) -> bool
 
   def instance_eval: (?String arg0, ?String filename, ?Integer lineno) -> any
                    | [U] () { () -> U } -> U

stdlib/builtin/class.rbi

@@ -5,7 +5,7 @@ class Class < Module
 
   def inherited: (Class arg0) -> any
 
-  def instance_methods: (?T::Boolean arg0) -> ::Array[Symbol]
+  def instance_methods: (?bool arg0) -> ::Array[Symbol]
 
   def name: () -> String?
 
@@ -14,6 +14,6 @@ class Class < Module
 
   def initialize: () -> void
                 | (?Class superclass) -> void
-                | () { (Class arg0) -> BasicObject } -> void
-                | (?Class superclass) { (Class arg0) -> BasicObject } -> void
+                | () { (Class arg0) -> any } -> void
+                | (?Class superclass) { (Class arg0) -> any } -> void
 end

stdlib/builtin/comparable.rbi

@@ -1,15 +1,15 @@
 module Comparable
-  def <: (any other) -> T::Boolean
+  def <: (any other) -> bool
 
-  def <=: (any other) -> T::Boolean
+  def <=: (any other) -> bool
 
-  def ==: (any other) -> T::Boolean
+  def ==: (any other) -> bool
 
-  def >: (any other) -> T::Boolean
+  def >: (any other) -> bool
 
-  def >=: (any other) -> T::Boolean
+  def >=: (any other) -> bool
 
-  def between?: (any min, any max) -> T::Boolean
+  def between?: (any min, any max) -> bool
 
   def clamp: (any min, any max) -> any
 end

stdlib/builtin/complex.rbi

@@ -33,7 +33,7 @@ class Complex < Numeric
        | (BigDecimal arg0) -> Complex
        | (Complex arg0) -> Complex
 
-  def ==: (Object arg0) -> T::Boolean
+  def ==: (Object arg0) -> bool
 
   def abs: () -> Numeric
 
@@ -51,9 +51,9 @@ class Complex < Numeric
 
   def denominator: () -> Integer
 
-  def eql?: (Object arg0) -> T::Boolean
+  def eql?: (Object arg0) -> bool
 
-  def equal?: (Object arg0) -> T::Boolean
+  def equal?: (Object arg0) -> bool
 
   def fdiv: (Numeric arg0) -> Complex
 
@@ -100,7 +100,7 @@ class Complex < Numeric
 
   def to_s: () -> String
 
-  def zero?: () -> T::Boolean
+  def zero?: () -> bool
 end
 
 Complex::I: Complex

stdlib/builtin/dir.rbi

@@ -1,4 +1,4 @@
-class Dir < Object
+class Dir[Elem] < Object
   include Enumerable
 
   def self.chdir: (?String | Pathname arg0) -> Integer
@@ -10,15 +10,15 @@ class Dir < Object
 
   def self.entries: (String arg0, ?Encoding arg1) -> ::Array[String]
 
-  def self.exist?: (String file) -> T::Boolean
+  def self.exist?: (String file) -> bool
 
-  def self.foreach: (String dir, ?Encoding arg0) { (String arg0) -> BasicObject } -> NilClass
+  def self.foreach: (String dir, ?Encoding arg0) { (String arg0) -> any } -> NilClass
                   | (String dir, ?Encoding arg0) -> T::Enumerator[String]
 
   def self.getwd: () -> String
 
   def self.glob: (String | ::Array[String] pattern, ?Integer flags) -> ::Array[String]
-               | (String | ::Array[String] pattern, ?Integer flags) { (String arg0) -> BasicObject } -> NilClass
+               | (String | ::Array[String] pattern, ?Integer flags) { (String arg0) -> any } -> NilClass
 
   def self.home: (?String arg0) -> String
 
@@ -35,7 +35,7 @@ class Dir < Object
 
   def close: () -> NilClass
 
-  def each: () { (String arg0) -> BasicObject } -> self
+  def each: () { (String arg0) -> any } -> self
           | () -> T::Enumerator[String]
 
   def fileno: () -> Integer
@@ -61,7 +61,5 @@ class Dir < Object
   def to_path: () -> String?
 
   def self.[]: (String | ::Array[String] pattern, ?Integer flags) -> ::Array[String]
-             | (String | ::Array[String] pattern, ?Integer flags) { (String arg0) -> BasicObject } -> NilClass
+             | (String | ::Array[String] pattern, ?Integer flags) { (String arg0) -> any } -> NilClass
 end
-
-Dir::Elem: any

stdlib/builtin/encoding.rbi

@@ -1,7 +1,7 @@
 class Encoding < Object
   def self.aliases: () -> ::Hash[String, String]
 
-  def self.compatible?: (BasicObject obj1, BasicObject obj2) -> Encoding?
+  def self.compatible?: (any obj1, any obj2) -> Encoding?
 
   def self.default_external: () -> Encoding
 
@@ -19,9 +19,9 @@ class Encoding < Object
 
   def self.name_list: () -> ::Array[String]
 
-  def ascii_compatible?: () -> T::Boolean
+  def ascii_compatible?: () -> bool
 
-  def dummy?: () -> T::Boolean
+  def dummy?: () -> bool
 
   def inspect: () -> String