rbs 3.1.3 → 3.2.0

data/core/kernel.rbs

@@ -300,7 +300,7 @@ module Kernel : BasicObject
   #     eval "str + ' Fred'"                      #=> "hello Fred"
   #     eval "str + ' Fred'", get_binding("bye")  #=> "bye Fred"
   #
-  def self?.eval: (String arg0, ?Binding arg1, ?String filename, ?Integer lineno) -> untyped
+  def self?.eval: (string src, ?Binding? scope, ?string filename, ?int lineno) -> untyped
 
   # <!--
   #   rdoc-file=vm_eval.c
@@ -358,7 +358,7 @@ module Kernel : BasicObject
   #     srand 1234               # => 1234
   #     [ rand, rand ]           # => [0.1915194503788923, 0.6221087710398319]
   #
-  def self?.srand: (?Numeric number) -> Numeric
+  def self?.srand: (?int number) -> Integer
 
   # <!--
   #   rdoc-file=process.c
@@ -383,7 +383,7 @@ module Kernel : BasicObject
   # 4. Therefore you should use spawn() instead of fork().
   #
   def self?.fork: () -> Integer?
-                | () { () -> untyped } -> Integer?
+                | () { () -> void } -> Integer
 
   def initialize_copy: (self object) -> self
 
@@ -403,12 +403,10 @@ module Kernel : BasicObject
   #
   #     Array(:foo)             # => [:foo]
   #
-  def self?.Array: (NilClass x) -> [ ]
-                 | [T] (::Array[T] x) -> ::Array[T]
-                 | [T] (::Range[T] x) -> ::Array[T]
-                 | [T] (_Each[T] x) -> ::Array[T]
-                 | [K, V] (::Hash[K, V] x) -> ::Array[[ K, V ]]
-                 | [T] (T x) -> ::Array[T]
+  def self?.Array: (nil) -> []
+                 | [T] (Array[T] ary) -> Array[T]
+                 | [T] (_ToAry[T] | _ToA[T] array_like) -> Array[T]
+                 | [T] (T ele) -> [T]
 
   # <!--
   #   rdoc-file=complex.c
@@ -446,7 +444,11 @@ module Kernel : BasicObject
   #
   # See String#to_c.
   #
-  def self?.Complex: (Numeric | String x, ?Numeric | String y, ?exception: bool exception) -> Complex
+  def self?.Complex: (_ToC complex_like, ?exception: true) -> Complex
+                   | (_ToC complex_like, exception: bool) -> Complex?
+                   | (Numeric | String real, ?Numeric | String imag, ?exception: true) -> Complex
+                   | (Numeric | String real, ?Numeric | String imag, exception: bool) -> Complex?
+                   | (untyped, ?untyped, exception: false) -> nil
 
   # <!--
   #   rdoc-file=kernel.rb
@@ -464,7 +466,9 @@ module Kernel : BasicObject
   #     Float(nil)               #=> TypeError: can't convert nil into Float
   #     Float("123.0_badstring", exception: false)  #=> nil
   #
-  def self?.Float: (Numeric | String x, ?exception: bool exception) -> Float
+  def self?.Float: (_ToF float_like, ?exception: true) -> Float
+                 | (_ToF float_like, exception: bool) -> Float?
+                 | (untyped, exception: false) -> nil
 
   # <!--
   #   rdoc-file=object.c
@@ -488,7 +492,8 @@ module Kernel : BasicObject
   #     Hash(nil)              # => {}
   #     Hash([])               # => {}
   #
-  def self?.Hash: [K, V] (Object x) -> ::Hash[K, V]
+  def self?.Hash: [K, V] (nil | [] _empty) -> Hash[K, V]
+                | [K, V] (_ToHash[K, V] hash_like) -> Hash[K, V]
 
   # <!--
   #   rdoc-file=object.c
@@ -574,8 +579,11 @@ module Kernel : BasicObject
   # With `exception` given as `false`, an exception of any kind is suppressed and
   # `nil` is returned.
   #
-  def self?.Integer: (Numeric | String arg, ?exception: bool exception) -> Integer
-                   | (String arg, ?Integer base, ?exception: bool exception) -> Integer
+  def self?.Integer: (_ToInt | _ToI int_like, ?exception: true) -> Integer
+                   | (_ToInt | _ToI int_like, exception: bool) -> Integer?
+                   | (string str, ?int base, ?exception: true) -> Integer
+                   | (string str, ?int base, exception: bool) -> Integer?
+                   | (untyped, ?untyped, exception: false) -> nil
 
   # <!--
   #   rdoc-file=rational.c
@@ -614,7 +622,17 @@ module Kernel : BasicObject
   #
   # See also String#to_r.
   #
-  def self?.Rational: (Numeric | String | Object x, ?Numeric | String y, ?exception: bool exception) -> Rational
+  def self?.Rational: (_ToInt | _ToR rational_like, ?exception: true) -> Rational
+                    | (_ToInt | _ToR rational_like, exception: bool) -> Rational?
+                    | (_ToInt | _ToR numer, ?_ToInt | _ToR denom, ?exception: true) -> Rational
+                    | (_ToInt | _ToR numer, ?_ToInt | _ToR denom, exception: bool) -> Rational?
+                    | [T] (Numeric&_RationalDiv[T] numer, Numeric denom, ?exception: bool) -> T
+                    | [T < Numeric] (T value, 1, ?exception: bool) -> T
+                    | (untyped, ?untyped, exception: false) -> nil
+
+  interface _RationalDiv[T]
+    def /: (Numeric) -> T
+  end
 
   # <!--
   #   rdoc-file=object.c
@@ -630,7 +648,7 @@ module Kernel : BasicObject
   #
   # Raises `TypeError` if `object` cannot be converted to a string.
   #
-  def self?.String: (_ToStr | _ToS x) -> String
+  def self?.String: (string | _ToS string_like) -> String
 
   # <!--
   #   rdoc-file=eval.c
@@ -691,7 +709,7 @@ module Kernel : BasicObject
   # Terminate execution immediately, effectively by calling `Kernel.exit(false)`.
   # If *msg* is given, it is written to STDERR prior to terminating.
   #
-  def self?.abort: (?String msg) -> bot
+  def self?.abort: (?string msg) -> bot
 
   # <!--
   #   rdoc-file=eval_jump.c
@@ -712,7 +730,7 @@ module Kernel : BasicObject
   #
   #     goodbye cruel world
   #
-  def self?.at_exit: () { () -> untyped } -> Proc
+  def self?.at_exit: () { () -> void } -> Proc
 
   # <!--
   #   rdoc-file=load.c
@@ -795,8 +813,7 @@ module Kernel : BasicObject
   #     at_exit function
   #     in finalizer
   #
-  def self?.exit: () -> bot
-                | (?Integer | TrueClass | FalseClass status) -> bot
+  def self?.exit: (?int | bool status) -> bot
 
   # <!--
   #   rdoc-file=process.c
@@ -807,7 +824,7 @@ module Kernel : BasicObject
   #
   #     Process.exit!(true)
   #
-  def self?.exit!: (Integer | TrueClass | FalseClass status) -> bot
+  def self?.exit!: (?int | bool status) -> bot
 
   # <!-- rdoc-file=eval.c -->
   # With no arguments, raises the exception in `$!` or raises a RuntimeError if
@@ -828,8 +845,8 @@ module Kernel : BasicObject
   #     raise ArgumentError, "No parameters", caller
   #
   def self?.fail: () -> bot
-                | (String message, ?cause: Exception?) -> bot
-                | (_Exception exception, ?untyped message, ?::Array[String] backtrace, ?cause: Exception?) -> bot
+                | (string message, ?cause: Exception?) -> bot
+                | (_Exception exception, ?_ToS? message, ?nil | String | Array[String] backtrace, ?cause: Exception?) -> bot
 
   # <!--
   #   rdoc-file=eval.c
@@ -988,7 +1005,7 @@ module Kernel : BasicObject
   #       puts enum.next
   #     } #=> :ok
   #
-  def self?.loop: () { (nil) -> untyped } -> bot
+  def self?.loop: () { () -> void } -> bot
                 | () -> ::Enumerator[nil, bot]
 
   # <!--
@@ -1137,7 +1154,7 @@ module Kernel : BasicObject
   #     gets  # Sets $_ to the most recent user input.
   #     print # Prints $_.
   #
-  def self?.print: (*Kernel args) -> nil
+  def self?.print: (*_ToS args) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -1171,9 +1188,9 @@ module Kernel : BasicObject
   #
   # With no arguments, does nothing.
   #
-  def self?.printf: (IO arg0, String arg1, *untyped args) -> nil
-                  | (String arg1, *untyped args) -> nil
-                  | () -> nil
+  def self?.printf: () -> nil
+                  | (String fmt, *untyped args) -> nil
+                  | (_Writer io, string fmt, *untyped args) -> nil
 
   # <!--
   #   rdoc-file=proc.c
@@ -1202,8 +1219,8 @@ module Kernel : BasicObject
   #
   # See IO#putc for important information regarding multi-byte characters.
   #
-  def self?.putc: (Integer arg0) -> Integer
-                | (String arg0) -> String
+  def self?.putc: [T < _ToInt] (T chr) -> T
+                | (String chr) -> String
 
   # <!--
   #   rdoc-file=io.c
@@ -1213,7 +1230,7 @@ module Kernel : BasicObject
   #
   #     $stdout.puts(objects)
   #
-  def self?.puts: (*untyped arg0) -> NilClass
+  def self?.puts: (*_ToS objects) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -1240,8 +1257,9 @@ module Kernel : BasicObject
   #     0..4
   #     [0..4, 0..4, 0..4]
   #
-  def self?.p: [T] (T arg0) -> T
-             | (*untyped arg0) -> Array[untyped]
+  def self?.p: [T < _Inspect] (T arg0) -> T
+             | (_Inspect arg0, _Inspect arg1, *_Inspect rest) -> Array[_Inspect]
+             | () -> nil
 
   # <!--
   #   rdoc-file=lib/pp.rb
@@ -1252,7 +1270,8 @@ module Kernel : BasicObject
   # pp returns argument(s).
   #
   def self?.pp: [T] (T arg0) -> T
-              | (*untyped arg0) -> Array[untyped]
+              | (untyped, untyped, *untyped) -> Array[untyped]
+              | () -> nil
 
   # <!--
   #   rdoc-file=random.c
@@ -1548,7 +1567,7 @@ module Kernel : BasicObject
   #     sleep 1.9   #=> 2
   #     Time.new    #=> 2008-03-08 19:56:22 +0900
   #
-  def self?.sleep: () -> bot
+  def self?.sleep: (?nil) -> bot
                  | ((Integer | Float | _Divmod) duration) -> Integer
 
   interface _Divmod
@@ -1648,7 +1667,7 @@ module Kernel : BasicObject
   # optional second parameter supplies a return value for the `catch` block, which
   # otherwise defaults to `nil`. For examples, see Kernel::catch.
   #
-  def self?.throw: (Object tag, ?untyped obj) -> bot
+  def self?.throw: (untyped tag, ?untyped obj) -> bot
 
   # <!--
   #   rdoc-file=warning.rb
@@ -1695,7 +1714,7 @@ module Kernel : BasicObject
   # :experimental
   # :   Used for experimental features that may change in future releases.
   #
-  def self?.warn: (*untyped msg, ?uplevel: Integer | nil, ?category: :deprecated | :experimental | nil) -> NilClass
+  def self?.warn: (*_ToS msg, ?uplevel: int?, ?category: Warning::category?) -> nil
 
   # <!--
   #   rdoc-file=process.c
@@ -1770,7 +1789,8 @@ module Kernel : BasicObject
   #     exec "echo", "*"    # echoes an asterisk
   #     # never get here
   #
-  def self?.exec: (*String args) -> bot
+  def self?.exec: (String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String) -> bot
+                | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String) -> bot
 
   type redirect_fd = Integer | :in | :out | :err | IO | String | [ String ] | [ String, string | int ] | [ String, string | int, int ] | [ :child, int ] | :close
 

data/core/module.rbs

@@ -235,7 +235,7 @@ class Module < Object
   #
   #     Exiting with code 99
   #
-  def alias_method: (::Symbol | ::String new_name, ::Symbol | ::String old_name) -> ::Symbol
+  def alias_method: (id new_name, id old_name) -> ::Symbol
 
   # <!--
   #   rdoc-file=object.c
@@ -284,7 +284,7 @@ class Module < Object
   #     end
   #     Mod.instance_methods.sort   #=> [:one, :one=, :two, :two=]
   #
-  def attr_accessor: (*Object::name arg0) -> Array[Symbol]
+  def attr_accessor: (*id arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=object.c
@@ -298,7 +298,7 @@ class Module < Object
   # in turn. String arguments are converted to symbols. Returns an array of
   # defined method names as symbols.
   #
-  def attr_reader: (*Object::name arg0) -> Array[Symbol]
+  def attr_reader: (*id arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=object.c
@@ -309,7 +309,7 @@ class Module < Object
   # *symbol*`.id2name`. String arguments are converted to symbols. Returns an
   # array of defined method names as symbols.
   #
-  def attr_writer: (*Object::name arg0) -> Array[Symbol]
+  def attr_writer: (*id arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=load.c
@@ -328,7 +328,7 @@ class Module < Object
   # replaced with *filename*.  If *const* is defined but not as autoload, does
   # nothing.
   #
-  def autoload: (Symbol _module, String filename) -> NilClass
+  def autoload: (id _module, String filename) -> NilClass
 
   # <!--
   #   rdoc-file=load.c
@@ -354,7 +354,7 @@ class Module < Object
   #     B.autoload?(:CONST)          #=> "const.rb", found in A (ancestor)
   #     B.autoload?(:CONST, false)   #=> nil, not found in B itself
   #
-  def autoload?: (Symbol name, ?boolish inherit) -> String?
+  def autoload?: (id name, ?boolish inherit) -> String?
 
   # <!-- rdoc-file=vm_eval.c -->
   # Evaluates the string or block in the context of *mod*, except that when a
@@ -412,7 +412,7 @@ class Module < Object
   #     Fred.class_variable_defined?(:@@foo)    #=> true
   #     Fred.class_variable_defined?(:@@bar)    #=> false
   #
-  def class_variable_defined?: (Symbol | String arg0) -> bool
+  def class_variable_defined?: (id arg0) -> bool
 
   # <!--
   #   rdoc-file=object.c
@@ -428,7 +428,7 @@ class Module < Object
   #     end
   #     Fred.class_variable_get(:@@foo)     #=> 99
   #
-  def class_variable_get: (Symbol | String arg0) -> untyped
+  def class_variable_get: (id arg0) -> untyped
 
   # <!--
   #   rdoc-file=object.c
@@ -447,7 +447,7 @@ class Module < Object
   #     Fred.class_variable_set(:@@foo, 101)     #=> 101
   #     Fred.new.foo                             #=> 101
   #
-  def class_variable_set: (Symbol | String arg0, untyped arg1) -> untyped
+  def class_variable_set: (id arg0, untyped arg1) -> untyped
 
   # <!--
   #   rdoc-file=object.c
@@ -527,7 +527,7 @@ class Module < Object
   #
   #     Hash.const_defined? 'foobar'   #=> NameError: wrong constant name foobar
   #
-  def const_defined?: (Symbol | String name, ?boolish inherit) -> bool
+  def const_defined?: (id name, ?boolish inherit) -> bool
 
   # <!--
   #   rdoc-file=object.c
@@ -566,7 +566,7 @@ class Module < Object
   #
   #     Object.const_get 'foobar' #=> NameError: wrong constant name foobar
   #
-  def const_get: (Symbol | String name, ?boolish inherit) -> untyped
+  def const_get: (id name, ?boolish inherit) -> untyped
 
   # <!--
   #   rdoc-file=object.c
@@ -618,7 +618,7 @@ class Module < Object
   #
   #     Object.const_set('foobar', 42) #=> NameError: wrong constant name foobar
   #
-  def const_set: (Symbol | String arg0, untyped arg1) -> untyped
+  def const_set: (id arg0, untyped arg1) -> untyped
 
   # <!--
   #   rdoc-file=object.c
@@ -668,7 +668,7 @@ class Module < Object
   #     p Object.const_source_location('A::C1')   # => ["test.rb", 2]  -- nesting is supported
   #     p Object.const_source_location('String')  # => []  -- constant is defined in C code
   #
-  def const_source_location: (Symbol | String name, ?boolish inherit) -> ([ String, Integer ] | [ ] | nil)
+  def const_source_location: (id name, ?boolish inherit) -> ([ String, Integer ] | [ ] | nil)
 
   # <!--
   #   rdoc-file=object.c
@@ -726,8 +726,8 @@ class Module < Object
   #     I'm Dino!
   #     #<B:0x401b39e8>
   #
-  def define_method: (Symbol | String arg0, ?Proc | Method | UnboundMethod arg1) -> Symbol
-                   | (Symbol | String arg0) { () -> untyped } -> Symbol
+  def define_method: (id symbol, Proc | Method | UnboundMethod method) -> Symbol
+                   | (id symbol) { () -> untyped } -> Symbol
 
   # <!--
   #   rdoc-file=object.c
@@ -746,7 +746,7 @@ class Module < Object
   #     HTTP::NOT_FOUND
   #     # warning: constant HTTP::NOT_FOUND is deprecated
   #
-  def deprecate_constant: (*Symbol) -> self
+  def deprecate_constant: (*id) -> self
 
   def eql?: (untyped other) -> bool
 
@@ -936,7 +936,7 @@ class Module < Object
   #
   #     Hello there, Dave!
   #
-  def instance_method: (Symbol arg0) -> UnboundMethod
+  def instance_method: (id arg0) -> UnboundMethod
 
   # <!--
   #   rdoc-file=object.c
@@ -1029,7 +1029,7 @@ class Module < Object
   #     C.method_defined? "method4"             #=> false
   #     C.method_defined? "private_method2"     #=> false
   #
-  def method_defined?: (Symbol | String name, ?boolish inherit) -> bool
+  def method_defined?: (id name, ?boolish inherit) -> bool
 
   # <!--
   #   rdoc-file=object.c
@@ -1147,7 +1147,7 @@ class Module < Object
   #     Mod.one     #=> "This is one"
   #     c.call_one  #=> "This is the new one"
   #
-  def module_function: (*Symbol | String arg0) -> self
+  def module_function: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1246,7 +1246,7 @@ class Module < Object
   #       end
   #     end
   #
-  def private_class_method: (*Symbol | String arg0) -> self
+  def private_class_method: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1254,7 +1254,7 @@ class Module < Object
   # -->
   # Makes a list of existing constants private.
   #
-  def private_constant: (*Symbol arg0) -> self
+  def private_constant: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1301,7 +1301,7 @@ class Module < Object
   #     C.private_method_defined? "method2", false   #=> false
   #     C.method_defined? "method2"                  #=> false
   #
-  def private_method_defined?: (Symbol | String name, ?boolish inherit) -> bool
+  def private_method_defined?: (id name, ?boolish inherit) -> bool
 
   # <!--
   #   rdoc-file=vm_method.c
@@ -1365,7 +1365,7 @@ class Module < Object
   #     C.protected_method_defined? "method2", false  #=> false
   #     C.method_defined? "method2"                   #=> true
   #
-  def protected_method_defined?: (Symbol | String name, ?boolish inherit) -> bool
+  def protected_method_defined?: (id name, ?boolish inherit) -> bool
 
   # <!--
   #   rdoc-file=vm_method.c
@@ -1398,7 +1398,7 @@ class Module < Object
   # String arguments are converted to symbols. An Array of Symbols and/or Strings
   # is also accepted.
   #
-  def public_class_method: (*Symbol | String arg0) -> self
+  def public_class_method: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1406,7 +1406,7 @@ class Module < Object
   # -->
   # Makes a list of existing constants public.
   #
-  def public_constant: (*Symbol arg0) -> self
+  def public_constant: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=proc.c
@@ -1414,7 +1414,7 @@ class Module < Object
   # -->
   # Similar to *instance_method*, searches public method only.
   #
-  def public_instance_method: (Symbol arg0) -> UnboundMethod
+  def public_instance_method: (id arg0) -> UnboundMethod
 
   # <!--
   #   rdoc-file=object.c
@@ -1453,7 +1453,7 @@ class Module < Object
   #     C.public_method_defined? "method2"         #=> false
   #     C.method_defined? "method2"                #=> true
   #
-  def public_method_defined?: (Symbol | String name, ?boolish inherit) -> bool
+  def public_method_defined?: (id name, ?boolish inherit) -> bool
 
   # <!--
   #   rdoc-file=eval.c
@@ -1505,7 +1505,7 @@ class Module < Object
   #     99
   #     nil
   #
-  def remove_class_variable: (Symbol arg0) -> untyped
+  def remove_class_variable: (id arg0) -> untyped
 
   # <!--
   #   rdoc-file=object.c
@@ -1515,7 +1515,7 @@ class Module < Object
   # previous value.  If that constant referred to a module, this will not change
   # that module's name and can lead to confusion.
   #
-  def remove_const: (Symbol arg0) -> untyped
+  def remove_const: (id arg0) -> untyped
 
   # <!--
   #   rdoc-file=vm_method.c
@@ -1525,7 +1525,7 @@ class Module < Object
   # Removes the method identified by *symbol* from the current class. For an
   # example, see Module#undef_method. String arguments are converted to symbols.
   #
-  def remove_method: (*Symbol | String arg0) -> self
+  def remove_method: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1591,7 +1591,7 @@ class Module < Object
   #     In parent
   #     prog.rb:23: undefined method `hello' for #<Child:0x401b3bb4> (NoMethodError)
   #
-  def undef_method: (*Symbol | String arg0) -> self
+  def undef_method: (*id arg0) -> self
 
   # <!--
   #   rdoc-file=object.c
@@ -1629,5 +1629,7 @@ class Module < Object
   # `attr_reader(name)` but deprecated. Returns an array of defined method names
   # as symbols.
   #
-  def attr: (*Object::name arg0) -> Array[Symbol]
+  def attr: (*id arg0) -> Array[Symbol]
+
+  type id = Symbol | string
 end

data/core/object.rbs

@@ -205,7 +205,7 @@ class Object < BasicObject
   #     chris.define_singleton_method(:greet) {|greeting| "#{greeting}, I'm Chris!" }
   #     chris.greet("Hi") #=> "Hi, I'm Chris!"
   #
-  def define_singleton_method: (name, Method | UnboundMethod) -> Symbol
+  def define_singleton_method: (name, Method | UnboundMethod | Proc method) -> Symbol
                              | (name) { (*untyped) -> untyped } -> Symbol
 
   # <!--
@@ -223,7 +223,7 @@ class Object < BasicObject
   #
   #     1cat[4, 5, 6]
   #
-  def display: (?_Writeable port) -> void
+  def display: (?_Writer port) -> void
 
   # <!--
   #   rdoc-file=object.c
@@ -320,7 +320,7 @@ class Object < BasicObject
   #     enum.first(4) # => [1, 1, 1, 2]
   #     enum.size # => 42
   #
-  def enum_for: (Symbol method, *untyped args) ?{ (*untyped args) -> Integer } -> Enumerator[untyped, untyped]
+  def enum_for: (Symbol method, *untyped, **untyped) ?{ (*untyped, **untyped) -> Integer } -> Enumerator[untyped, untyped]
               | () ?{ () -> Integer } -> Enumerator[untyped, self]
 
   # <!--
@@ -1074,8 +1074,4 @@ class Object < BasicObject
   alias then yield_self
 end
 
-interface _Writeable
-  def write: (untyped) -> void
-end
-
 type Object::name = Symbol | string

data/core/string_io.rbs

@@ -495,6 +495,15 @@ class StringIO
   #
   def tell: () -> Integer
 
+  # <!--
+  #   rdoc-file=ext/stringio/stringio.c
+  #   - strio.truncate(integer)    -> 0
+  # -->
+  # Truncates the buffer string to at most *integer* bytes. The stream must be
+  # opened for writing.
+  #
+  def truncate: (Integer) -> 0
+
   # <!-- rdoc-file=ext/stringio/stringio.c -->
   # Returns `false`.  Just for compatibility to IO.
   #

data/core/thread.rbs

@@ -971,6 +971,30 @@ class Thread < Object
   #
   def self.handle_interrupt: (untyped hash) -> untyped
 
+  # <!--
+  #   rdoc-file=thread.c
+  #   - thr.raise
+  #   - thr.raise(string)
+  #   - thr.raise(exception [, string [, array]])
+  # -->
+  # Raises an exception from the given thread. The caller does not have to be
+  # `thr`. See Kernel#raise for more information.
+  #
+  #     Thread.abort_on_exception = true
+  #     a = Thread.new { sleep(200) }
+  #     a.raise("Gotcha")
+  #
+  # This will produce:
+  #
+  #     prog.rb:3: Gotcha (RuntimeError)
+  #      from prog.rb:2:in `initialize'
+  #      from prog.rb:2:in `new'
+  #      from prog.rb:2
+  #
+  def self?.raise: () -> bot
+                 | (String message, ?cause: Exception?) -> bot
+                 | (_Exception exception, ?untyped message, ?::Array[String] backtrace, ?cause: Exception?) -> bot
+
   # <!--
   #   rdoc-file=thread.c
   #   - Thread.kill(thread)   -> thread
@@ -1414,7 +1438,7 @@ class Thread::ConditionVariable < Object
   #
   # Returns the slept result on `mutex`.
   #
-  def wait: (Thread::Mutex mutex, ?Integer timeout) -> self
+  def wait: (Thread::Mutex mutex, ?Integer | Float? timeout) -> self
 end
 
 # <!-- rdoc-file=thread_sync.c -->

data/core/time.rbs

@@ -1093,7 +1093,7 @@ class Time < Object
   #
   # Related: Time#ceil, Time#floor.
   #
-  def round: (?Integer arg0) -> Time
+  def round: (?int ndigits) -> Time
 
   # <!--
   #   rdoc-file=time.c
@@ -1503,7 +1503,7 @@ class Time < Object
   #
   # Related: Time#ceil, Time#round.
   #
-  def floor: (?Integer ndigits) -> Time
+  def floor: (?int ndigits) -> Time
 
   # <!--
   #   rdoc-file=time.c
@@ -1530,7 +1530,7 @@ class Time < Object
   #
   # Related: Time#floor, Time#round.
   #
-  def ceil: (?Integer ndigits) -> Time
+  def ceil: (?int ndigits) -> Time
 end
 
 Time::RFC2822_DAY_NAME: Array[String]

data/core/warning.rbs

@@ -29,6 +29,8 @@
 # The `warning` gem provides convenient ways to customize Warning.warn.
 #
 module Warning
+  type category = :deprecated | :experimental
+
   # <!--
   #   rdoc-file=error.c
   #   - warn(msg, category: nil)  -> nil
@@ -38,5 +40,5 @@ module Warning
   #
   # See the documentation of the Warning module for how to customize this.
   #
-  def self?.warn: (String message, ?category: :deprecated | :experimental | nil) -> nil
+  def self?.warn: (String message, ?category: category?) -> nil
 end

data/docs/CONTRIBUTING.md

@@ -69,7 +69,7 @@ We define the standard members order so that ordering doesn't bother reading dif
 5. `public` & public instance methods
 6. `private` & private instance methods
 
-```
+```rbs
 class HelloWorld[X]
   def self.new: [A] () { (void) -> A } -> HelloWorld[A]         # new or initialize comes first
   def initialize: () -> void