rbs 3.5.3 → 3.6.0.dev.1

data/core/thread.rbs

@@ -382,7 +382,7 @@ class Thread < Object
   # If you're going to subclass Thread, be sure to call super in your `initialize`
   # method, otherwise a ThreadError will be raised.
   #
-  def initialize: (*untyped) { (*untyped) -> void } -> void
+  def initialize: (*untyped) { (?) -> void } -> void
 
   # <!--
   #   rdoc-file=thread.c
@@ -1178,7 +1178,7 @@ class Thread < Object
   # calling `start` in that subclass will not invoke the subclass's `initialize`
   # method.
   #
-  def self.start: (*untyped args) { (*untyped) -> void } -> instance
+  def self.start: (*untyped args) { (?) -> void } -> instance
 
   # <!--
   #   rdoc-file=thread.c

data/core/trace_point.rbs

@@ -63,7 +63,7 @@
 # `:script_compiled`
 # :   new Ruby code compiled (with `eval`, `load` or `require`)
 #
-class TracePoint < Object
+class TracePoint
   # <!--
   #   rdoc-file=trace_point.rb
   #   - TracePoint.new(*events) { |obj| block }         -> obj
@@ -110,7 +110,7 @@ class TracePoint < Object
   #
   # Access from other threads is also forbidden.
   #
-  def initialize: (*Symbol events) { (TracePoint tp) -> void } -> void
+  def self.new: (*_ToSym events) { (instance tp) -> void } -> instance
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -172,7 +172,7 @@ class TracePoint < Object
   # (note that we needed to filter out calls by itself from :line handler,
   # otherwise it will call itself infinitely).
   #
-  def self.allow_reentry: () { () -> void } -> void
+  def self.allow_reentry: [T] () { (nil) -> T } -> T
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -199,7 +199,7 @@ class TracePoint < Object
   #
   #     trace.enabled? #=> true
   #
-  def self.trace: (*Symbol events) { (TracePoint tp) -> void } -> TracePoint
+  def self.trace: (*_ToSym events) { (instance tp) -> void } -> instance
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -218,7 +218,7 @@ class TracePoint < Object
   # -->
   # Return the called name of the method being called
   #
-  def callee_id: () -> Symbol
+  def callee_id: () -> Symbol?
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -257,7 +257,7 @@ class TracePoint < Object
   #       C.foo
   #     end
   #
-  def defined_class: () -> Module
+  def defined_class: () -> (Class | Module)?
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -293,7 +293,7 @@ class TracePoint < Object
   #     #=> RuntimeError: access from outside
   #
   def disable: () -> bool
-             | () { () -> void } -> void
+             | [T] () { () -> T } -> T
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -352,8 +352,8 @@ class TracePoint < Object
   #     trace.enable { p tp.lineno }
   #     #=> RuntimeError: access from outside
   #
-  def enable:     (?target: (Method | UnboundMethod | Proc)?, ?target_line: Integer?, ?target_thread: Thread?) -> bool
-            | [R] (?target: (Method | UnboundMethod | Proc)?, ?target_line: Integer?, ?target_thread: Thread?) { () -> R } -> R
+  def enable: (?target: Method | RubyVM::InstructionSequence | Proc | nil, ?target_line: int?, ?target_thread: Thread | :default | nil) -> bool
+            | [T] (?target: Method | RubyVM::InstructionSequence | Proc | nil, ?target_line: int?, ?target_thread: Thread | :default | nil) { () -> T } -> T
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -395,7 +395,7 @@ class TracePoint < Object
   # -->
   # Return the name at the definition of the method being called
   #
-  def method_id: () -> Symbol
+  def method_id: () -> Symbol?
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -412,7 +412,7 @@ class TracePoint < Object
   # Return the parameters definition of the method or block that the current hook
   # belongs to. Format is the same as for Method#parameters
   #
-  def parameters: () -> ::Array[[ :req | :opt | :rest | :keyreq | :key | :keyrest | :block, Symbol ] | [ :rest | :keyrest ]]
+  def parameters: () -> Method::param_types?
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -421,7 +421,7 @@ class TracePoint < Object
   # Value from exception raised on the `:raise` event, or rescued on the `:rescue`
   # event.
   #
-  def raised_exception: () -> untyped
+  def raised_exception: () -> Exception
 
   # <!--
   #   rdoc-file=trace_point.rb

data/core/unbound_method.rbs

@@ -325,5 +325,5 @@ class UnboundMethod
   # arguments. This is semantically equivalent to `umeth.bind(recv).call(args,
   # ...)`.
   #
-  def bind_call: (untyped recv, *untyped, **untyped) ?{ (*untyped, **untyped) -> untyped } -> untyped
+  def bind_call: (untyped recv, *untyped, **untyped) ?{ (?) -> untyped } -> untyped
 end

data/docs/syntax.md

@@ -64,7 +64,7 @@ Interface type denotes _type of a value which can be a subtype of the interface_
 
 ```rbs
 _ToS                          # _ToS interface
-::MyApp::_Each[String]        # Interface name with namespace and type application
+::Enumerator::_Each[String]   # Interface name with namespace and type application
 ```
 
 ### Alias type
@@ -750,16 +750,15 @@ $LOAD_PATH: Array[String]
 ### Generics
 
 ```markdown
-_module-type-parameter_ ::= _generics-unchecked_ _generics-variance_ _type-variable_ _generics-bound_
+_module-type-parameter_ ::= _generics-unchecked_ _generics-variance_ _type-variable_ _generics-bound_ _default-type_
 
 _method-type-param_ ::= _type-variable_ _generics-bound_
 
-_generics-bound_ ::=                       (No type bound)
-                   | `<` _bound-type_      (The generics parameter is bounded)
+_generics-bound_ ::=                 (No type bound)
+                   | `<` _type_      (The generics parameter is bounded)
 
-_bound-type_ ::= _class-name_ _type-arguments_       (Class instance type)
-               | _interface-name_ _type-arguments_   (Interface type)
-               | `singleton(` _class-name_ `)`       (Class singleton type)
+_default-type_ ::=                    (No default type)
+                 | `=` _type_         (The generics parameter has default type)
 
 _generics-variance_ ::=               (Invariant)
                       | `out`         (Covariant)
@@ -826,14 +825,27 @@ class PrettyPrint[T < _Output]
 end
 ```
 
-If a type parameter has an upper bound, the type parameter must be instantiated with types that is a subclass of the upper bound.
+If a type parameter has an upper bound, the type parameter must be instantiated with types that is a subtype of the upper bound.
 
 ```rbs
 type str_printer = PrettyPrint[String]    # OK
 type int_printer = PrettyPrint[Integer]   # Type error
 ```
 
-The upper bound must be one of a class instance type, interface type, or class singleton type.
+The generics type parameter of modules, classes, interfaces, or type aliases can have a default type.
+
+```rbs
+interface _Foo[T = untyped]
+end
+
+interface _Bar[T, S = untyped]
+end
+
+type foo = _Foo          # equivalent to _Foo[untyped]
+type bar = _Bar[String]  # equivalent to _Bar[String, untyped]
+```
+
+Type parameters with default types cannot appear before type parameters without default types. The generic method type parameters cannot have the default types.
 
 ### Directives