rbs 3.3.0.pre.1 → 3.3.0.pre.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 0ce19044f9943d12d17256e09e0296aca13a4284b9e2f76de3b130c002ed9244
-  data.tar.gz: d3b2b843cf28aeb5ef4608356aa0eb2d958d4392f541fe91e5e00e7f68a40fc4
+  metadata.gz: 7dc5c4dc317f2e52f4626a4fec99d333422d69e6e18ec9fcad02d710bf17a212
+  data.tar.gz: e9da32752089f0d923e82ee304e36751f28263adeb5893860d4f0f84f5b62caf
 SHA512:
-  metadata.gz: 02e143cf64af949a560f3b41b9d1a1756375ae0456182a3b727b985db88d5f5fe092887d21c3237036ddf177f19661ef80f03c6daa96fdd6840e727d579f1018
-  data.tar.gz: 38df75f2912926a63b6082a4515b063e8f4c71d9e3c820adb0b2ee6e7030464fa3702faad28b04b221facb31c79c5aff0f96b7f4d2624b1b399378fc5bcd6168
+  metadata.gz: eb722e98a22685907310de9465590da330bf86f4387fc40e65ce692a9fbbd6839d850a706ca7f489954048d40555d3040e83ffddb452494529febfcd98dbeff5
+  data.tar.gz: 2ed8a1e9a4bbb28341f5c578903a94a23ea3b6bcc95721308dcfddce514f269755f0f7baaaf2cb0a4511c7895fc39992fe2cdfe95ad33e66f045971cb137587e

data/.rubocop.yml

@@ -1,6 +1,6 @@
 require: rubocop-rubycw
 AllCops:
-  TargetRubyVersion: 2.7
+  TargetRubyVersion: 3.0
   DisabledByDefault: true
   Exclude:
     - 'vendor/bundle/**/*'

data/CHANGELOG.md

@@ -2,6 +2,25 @@
 
 ## master
 
+## 3.3.0.pre.2 (2023-11-02)
+
+### Signature updates
+
+* net/smtp ([#1560](https://github.com/ruby/rbs/pull/1560))
+* open-uri ([#1592](https://github.com/ruby/rbs/pull/1592))
+* `Set` ([#1595](https://github.com/ruby/rbs/pull/1595))
+
+### Library changes
+
+* Fixup validation ([#1596](https://github.com/ruby/rbs/pull/1596))
+* Print type syntax errors instead of raising error ([#1594](https://github.com/ruby/rbs/pull/1594))
+
+#### rbs prototype
+
+* Fix error when MASGN ([#1593](https://github.com/ruby/rbs/pull/1593))
+* Support cases where `Module#constants` has been redefined ([#1591](https://github.com/ruby/rbs/pull/1591))
+* [prototype runtime] Fix error if direct inherited ([#1590](https://github.com/ruby/rbs/pull/1590))
+
 ## 3.3.0.pre.1 (2023-10-31)
 
 ### Signature updates
@@ -38,7 +57,6 @@
 * `constants.rbs` ([#1531](https://github.com/ruby/rbs/pull/1531))
 * `::interned` ([#1499](https://github.com/ruby/rbs/pull/1499), [#1488](https://github.com/ruby/rbs/pull/1488))
 
-
 ### Language updates
 
 * Add `__todo__` type ([#1520](https://github.com/ruby/rbs/pull/1520))
@@ -50,8 +68,10 @@
 * Add `Abbrev` to runtime dependency ([#1573](https://github.com/ruby/rbs/pull/1573))
 * Avoid an error when parsing files including SyntaxError ([#1574](https://github.com/ruby/rbs/pull/1574))
 * Implement rbs diff command ([#1459](https://github.com/ruby/rbs/pull/1459))
-* Add another type syntax validation ([#1566](https://github.com/ruby/rbs/pull/1566))* Mark global variables ([#1551](https://github.com/ruby/rbs/pull/1551))
-* Show location of type by method command ([#1537](https://github.com/ruby/rbs/pull/1537))* Make alias and interface names absolute ([#1502](https://github.com/ruby/rbs/pull/1502))
+* Add another type syntax validation ([#1566](https://github.com/ruby/rbs/pull/1566))
+* Mark global variables ([#1551](https://github.com/ruby/rbs/pull/1551))
+* Show location of type by method command ([#1537](https://github.com/ruby/rbs/pull/1537))
+* Make alias and interface names absolute ([#1502](https://github.com/ruby/rbs/pull/1502))
 * Better record type format ([#1501](https://github.com/ruby/rbs/pull/1501))
 * Should keep escape of alias and attr family ([#1486](https://github.com/ruby/rbs/pull/1486))
 * Fix error when undefined interface or alias ([#1465](https://github.com/ruby/rbs/pull/1465))

data/Gemfile

@@ -22,6 +22,9 @@ gem "rdoc", "~> 6.4.0"
 # Test gems
 gem "rbs-amber", path: "test/assets/test-gem"
 
+# Bundled gems
+gem "net-smtp"
+
 group :minitest do
   gem "minitest"
 end

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    rbs (3.3.0.pre.1)
+    rbs (3.3.0.pre.2)
       abbrev
 
 PATH
@@ -30,6 +30,10 @@ GEM
     language_server-protocol (3.17.0.3)
     marcel (1.0.2)
     minitest (5.20.0)
+    net-protocol (0.2.1)
+      timeout
+    net-smtp (0.4.0)
+      net-protocol
     parallel (1.23.0)
     parser (3.2.2.4)
       ast (~> 2.4.1)
@@ -82,6 +86,7 @@ GEM
     tempfile (0.1.3)
     test-unit (3.6.1)
       power_assert
+    timeout (0.4.0)
     unicode-display_width (2.5.0)
 
 PLATFORMS
@@ -95,6 +100,7 @@ DEPENDENCIES
   json
   json-schema
   minitest
+  net-smtp
   rake
   rake-compiler
   rbs!

data/core/set.rbs

@@ -439,7 +439,7 @@ class Set[unchecked out A]
   #     Set[1, 2, 3].disjoint? [3, 4]      #=> false
   #     Set[1, 2, 3].disjoint? 4..5        #=> true
   #
-  def disjoint?: (self) -> bool
+  def disjoint?: (_Each[A]) -> bool
 
   # <!--
   #   rdoc-file=lib/set.rb
@@ -502,7 +502,7 @@ class Set[unchecked out A]
   #     Set[1, 2, 3].intersect? 4..5        #=> false
   #     Set[1, 2, 3].intersect? [3, 4]      #=> true
   #
-  def intersect?: (self) -> bool
+  def intersect?: (_Each[A]) -> bool
 
   # <!--
   #   rdoc-file=lib/set.rb
@@ -625,4 +625,5 @@ module Enumerable[unchecked out Elem]
   # Needs to `require "set"` to use this method.
   #
   def to_set: () -> Set[Elem]
+            | [T] { (Elem) -> T } -> Set[T]
 end

data/lib/rbs/cli.rb

@@ -444,6 +444,8 @@ EOU
     end
 
     def run_validate(args, options)
+      stdout = stdout()
+
       OptionParser.new do |opts|
         opts.banner = <<EOU
 Usage: rbs validate
@@ -456,7 +458,7 @@ Examples:
 EOU
 
         opts.on("--silent") do
-          @stdout = StringIO.new
+          stdout = StringIO.new
         end
       end.parse!(args)
 
@@ -466,17 +468,19 @@ EOU
       builder = DefinitionBuilder.new(env: env)
       validator = Validator.new(env: env, resolver: Resolver::TypeNameResolver.new(env))
 
+      syntax_errors = [] #: Array[String]
+
       no_self_type_validator = ->(type) {
         # @type var type: Types::t | MethodType
         if type.has_self_type?
-          raise "#{type.location}: `self` type is not allowed in this context"
+          syntax_errors << "#{type.location}: `self` type is not allowed in this context"
         end
       }
 
       no_classish_type_validator = ->(type) {
         # @type var type: Types::t | MethodType
         if type.has_classish_type?
-          raise "#{type.location}: `instance` or `class` type is not allowed in this context"
+          syntax_errors << "#{type.location}: `instance` or `class` type is not allowed in this context"
         end
       }
 
@@ -486,7 +490,7 @@ EOU
           next if type.is_a?(Types::Bases::Void)
         end
         if type.with_nonreturn_void?
-          raise "#{type.location}: `void` type is only allowed in return type or generics parameter"
+          syntax_errors << "#{type.location}: `void` type is only allowed in return type or generics parameter"
         end
       }
 
@@ -621,6 +625,15 @@ EOU
         no_classish_type_validator[decl.decl.type]
         void_type_context_validator[decl.decl.type]
       end
+
+      unless syntax_errors.empty?
+        syntax_errors.sort!
+        syntax_errors.uniq!
+        syntax_errors.each do |message|
+          self.stdout.puts message
+        end
+        exit(1)
+      end
     end
 
     def run_constant(args, options)

data/lib/rbs/prototype/rbi.rb

@@ -246,7 +246,7 @@ module RBS
               end
             end
             value_node = node.children.last
-            type = if value_node.type == :CALL && value_node.children[1] == :let
+            type = if value_node && value_node.type == :CALL && value_node.children[1] == :let
                      type_node = each_arg(value_node.children[2]).to_a[1]
                      type_of type_node, variables: current_module&.type_params || []
                    else

data/lib/rbs/prototype/runtime/reflection.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+module RBS
+  module Prototype
+    class Runtime
+      module Reflection
+        def self.object_class(value)
+          @object_class ||= Object.instance_method(:class)
+          @object_class.bind_call(value)
+        end
+
+        def self.constants_of(mod, inherit = true)
+          @constants_of ||= Module.instance_method(:constants)
+          @constants_of.bind_call(mod, inherit)
+        end
+      end
+    end
+  end
+end

data/lib/rbs/prototype/runtime/value_object_generator.rb

@@ -85,6 +85,16 @@ module RBS
       end
 
       class StructGenerator < ValueObjectBase
+        def self.generatable?(target)
+          return false unless target < Struct
+          # Avoid direct inherited class like `class Option < Struct`
+          return false unless target.respond_to?(:members)
+
+          true
+        end
+
+        private
+
         CAN_CALL_KEYWORD_INIT_P = Struct.new(:tmp).respond_to?(:keyword_init?)
 
         def build_super_class
@@ -104,31 +114,21 @@ module RBS
           [:new, :[]].map do |name|
             new_overloads = []
 
-            if CAN_CALL_KEYWORD_INIT_P ? (@target_class.keyword_init? == false || @target_class.keyword_init? == nil) : true
-              new_overloads << AST::Members::MethodDefinition::Overload.new(
-                annotations: [],
-                method_type: MethodType.new(
-                  type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
-                    optional_positionals: @target_class.members.map { |m| Types::Function::Param.new(name: m, type: untyped) },
-                  ),
-                  type_params: [],
-                  block: nil,
-                  location: nil,
-                )
-              )
-            end
-            if CAN_CALL_KEYWORD_INIT_P ? (@target_class.keyword_init? == true || @target_class.keyword_init? == nil) : true
-              new_overloads << AST::Members::MethodDefinition::Overload.new(
-                annotations: [],
-                method_type: MethodType.new(
-                  type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
-                    optional_keywords: @target_class.members.to_h { |m| [m, Types::Function::Param.new(name: nil, type: untyped)] },
-                  ),
-                  type_params: [],
-                  block: nil,
-                  location: nil,
-                )
-              )
+            if CAN_CALL_KEYWORD_INIT_P
+              case @target_class.keyword_init?
+              when false
+                new_overloads << build_overload_for_positional_arguments
+              when true
+                new_overloads << build_overload_for_keyword_arguments
+              when nil
+                new_overloads << build_overload_for_positional_arguments
+                new_overloads << build_overload_for_keyword_arguments
+              else
+                raise
+              end
+            else
+              new_overloads << build_overload_for_positional_arguments
+              new_overloads << build_overload_for_keyword_arguments
             end
 
             AST::Members::MethodDefinition.new(
@@ -144,6 +144,34 @@ module RBS
           end
         end
 
+        def build_overload_for_positional_arguments
+          AST::Members::MethodDefinition::Overload.new(
+            annotations: [],
+            method_type: MethodType.new(
+              type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
+                optional_positionals: @target_class.members.map { |m| Types::Function::Param.new(name: m, type: untyped) },
+              ),
+              type_params: [],
+              block: nil,
+              location: nil,
+            )
+          )
+        end
+
+        def build_overload_for_keyword_arguments
+          AST::Members::MethodDefinition::Overload.new(
+            annotations: [],
+            method_type: MethodType.new(
+              type: Types::Function.empty(Types::Bases::Instance.new(location: nil)).update(
+                optional_keywords: @target_class.members.to_h { |m| [m, Types::Function::Param.new(name: nil, type: untyped)] },
+              ),
+              type_params: [],
+              block: nil,
+              location: nil,
+            )
+          )
+        end
+
         # def self.keyword_init?: () -> bool?
         def build_s_keyword_init_p
           return [] unless CAN_CALL_KEYWORD_INIT_P
@@ -179,6 +207,17 @@ module RBS
       end
 
       class DataGenerator < ValueObjectBase
+        def self.generatable?(target)
+          return false unless RUBY_VERSION >= '3.2'
+          return false unless target < Data
+          # Avoid direct inherited class like `class Option < Data`
+          return false unless target.respond_to?(:members)
+
+          true
+        end
+
+        private
+
         def build_super_class
           AST::Declarations::Class::Super.new(name: TypeName("::Data"), args: [], location: nil)
         end

data/lib/rbs/prototype/runtime.rb

@@ -2,6 +2,7 @@
 
 require_relative 'runtime/helpers'
 require_relative 'runtime/value_object_generator'
+require_relative 'runtime/reflection'
 
 module RBS
   module Prototype
@@ -422,7 +423,7 @@ module RBS
 
       def generate_constants(mod, decls)
         module_name = const_name!(mod)
-        mod.constants(false).sort.each do |name|
+        Reflection.constants_of(mod, false).sort.each do |name|
           next if todo_object&.skip_constant?(module_name: module_name, name: name)
 
           begin
@@ -432,10 +433,10 @@ module RBS
             next
           end
 
-          next if object_class(value).equal?(Class)
-          next if object_class(value).equal?(Module)
+          next if Reflection.object_class(value).equal?(Class)
+          next if Reflection.object_class(value).equal?(Module)
 
-          unless object_class(value).name
+          unless Reflection.object_class(value).name
             RBS.logger.warn("Skipping constant #{name} #{value} of #{mod} as an instance of anonymous class")
             next
           end
@@ -453,7 +454,7 @@ module RBS
                  when ENV
                    Types::ClassInstance.new(name: TypeName("::RBS::Unnamed::ENVClass"), args: [], location: nil)
                  else
-                   value_type_name = to_type_name(const_name!(object_class(value)), full_name: true).absolute!
+                   value_type_name = to_type_name(const_name!(Reflection.object_class(value)), full_name: true).absolute!
                    args = type_args(value_type_name)
                    Types::ClassInstance.new(name: value_type_name, args: args, location: nil)
                  end
@@ -493,9 +494,9 @@ module RBS
         end #: AST::Declarations::Class?
 
         unless decl
-          if mod < Struct
+          if StructGenerator.generatable?(mod)
             decl = StructGenerator.new(mod).build_decl
-          elsif RUBY_VERSION >= '3.2' && mod < Data
+          elsif DataGenerator.generatable?(mod)
             decl = DataGenerator.new(mod).build_decl
           else
             decl = AST::Declarations::Class.new(
@@ -631,11 +632,6 @@ module RBS
         destination
       end
 
-      def object_class(value)
-        @object_class ||= Object.instance_method(:class)
-        @object_class.bind_call(value)
-      end
-
       def type_args(type_name)
         if class_decl = env.class_decls.fetch(type_name.absolute!, nil)
           class_decl.type_params.size.times.map { Types::Bases::Any.new(location: nil) }

data/lib/rbs/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RBS
-  VERSION = "3.3.0.pre.1"
+  VERSION = "3.3.0.pre.2"
 end

data/sig/prototype/runtime.rbs

@@ -1,6 +1,73 @@
 module RBS
   module Prototype
     class Runtime
+      module Reflection
+        def self.object_class: (Module value) -> Class
+
+        def self.constants_of: (Module mod, ?bool inherit) -> Array[Symbol]
+      end
+
+      module Helpers
+        private
+
+        def const_name: (Module const) -> String?
+
+        def const_name!: (Module const) -> String
+
+        # Returns the exact name & not compactly declared name
+        def only_name: (Module mod) -> String
+
+        def to_type_name: (String name, ?full_name: bool) -> TypeName
+
+        def untyped: () -> untyped
+      end
+
+      class ValueObjectBase
+        include Helpers
+
+        def build_decl: () -> AST::Declarations::Class
+
+        private
+
+        def build_member_accessors: (untyped ast_members_class) -> untyped
+
+        def build_s_members: () -> Array[AST::Members::MethodDefinition]
+
+        def initialize: (Class target_class) -> void
+      end
+
+      class StructGenerator < ValueObjectBase
+        def self.generatable?: (Class target) -> bool
+
+        private
+
+        def add_decl_members: (AST::Declarations::Class decl) -> void
+
+        def build_overload_for_keyword_arguments: () -> AST::Members::MethodDefinition::Overload
+
+        def build_overload_for_positional_arguments: () -> AST::Members::MethodDefinition::Overload
+
+        def build_s_keyword_init_p: () -> Array[AST::Members::MethodDefinition]
+
+        def build_s_new: () -> Array[AST::Members::MethodDefinition]
+
+        def build_super_class: () -> AST::Declarations::Class::Super
+
+        CAN_CALL_KEYWORD_INIT_P: bool
+      end
+
+      class DataGenerator < ValueObjectBase
+        def self.generatable?: (Class target) -> bool
+
+        private
+
+        def add_decl_members: (AST::Declarations::Class decl) -> void
+
+        def build_s_new: () -> Array[AST::Members::MethodDefinition]
+
+        def build_super_class: () -> AST::Declarations::Class::Super
+      end
+
       class Todo
         @builder: DefinitionBuilder
 
@@ -58,8 +125,6 @@ module RBS
 
       def decls: () -> Array[AST::Declarations::t]
 
-      def to_type_name: (String name, ?full_name: bool) -> TypeName
-
       def each_mixined_module: (TypeName type_name, Module mod) { (TypeName, TypeName, mixin_class) -> void } -> void
 
       def each_mixined_module_one: (TypeName type_name, Module mod) { (TypeName, TypeName, bool) -> void } -> void
@@ -87,13 +152,6 @@ module RBS
       # This generates/finds declarations in nested form & returns the last array of declarations
       def ensure_outer_module_declarations: (Module mod) -> Array[AST::Declarations::Class::member]
 
-      # Returns the exact name & not compactly declared name
-      def only_name: (Module mod) -> String
-
-      def const_name: (Module const) -> String?
-
-      def const_name!: (Module const) -> String
-
       def object_class: (untyped) -> untyped
 
       def type_args: (TypeName type_name) -> Array[Types::t]

data/stdlib/net-smtp/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: net-protocol

data/stdlib/net-smtp/0/net-smtp.rbs

@@ -0,0 +1,55 @@
+module Net
+  # Module mixed in to all SMTP error classes
+  module SMTPError
+    attr_reader response: Response
+
+    def initialize: (Response response, ?message: String) -> void
+
+    def message: () -> String?
+  end
+
+  # Represents an SMTP authentication error.
+  class SMTPAuthenticationError < ProtoAuthError
+    include SMTPError
+  end
+
+  # Represents SMTP error code 4xx, a temporary error.
+  class SMTPServerBusy < ProtoServerError
+    include SMTPError
+  end
+
+  # Represents an SMTP command syntax error (error code 500)
+  class SMTPSyntaxError < ProtoSyntaxError
+    include SMTPError
+  end
+
+  # Represents a fatal SMTP error (error code 5xx, except for 500)
+  class SMTPFatalError < ProtoFatalError
+    include SMTPError
+  end
+
+  # Unexpected reply code returned from server.
+  class SMTPUnknownError < ProtoUnknownError
+    include SMTPError
+  end
+
+  # Command is not supported on server.
+  class SMTPUnsupportedCommand < ProtocolError
+    include SMTPError
+  end
+
+  class SMTP < Protocol
+    def self.start: (String address, ?Integer port, ?tls_verify: bool, ?tls_hostname: String?, ?helo: String, ?user: String?, ?password: String?, ?auth_type: Symbol) -> instance
+                  | [T] (String address, ?Integer port, ?tls_verify: bool, ?tls_hostname: String?, ?helo: String, ?user: String?, ?password: String?, ?auth_type: Symbol) { (instance) -> T } -> T
+                  | (String address, ?Integer port, ?String helo, ?String? user, ?String? password, ?Symbol auth_type) -> instance
+                  | [T] (String address, ?Integer port, ?String helo, ?String? user, ?String? password, ?Symbol auth_type) { (instance) -> T } -> T
+
+    def initialize: (String address, ?Integer port) -> void
+    def send_message: (_Each[String] mail_src, String from_addr, *String to_addrs) -> void
+  end
+
+  class Response
+  end
+
+  class SMTPSession = SMTP
+end

data/stdlib/open-uri/0/manifest.yaml

@@ -0,0 +1,3 @@
+dependencies:
+  - name: tempfile
+  - name: uri

data/stdlib/open-uri/0/open-uri.rbs

@@ -0,0 +1,341 @@
+%a{annotate:rdoc:skip}
+module URI
+  # <!--
+  #   rdoc-file=lib/open-uri.rb
+  #   - open(name, *rest, &block)
+  # -->
+  # Allows the opening of various resources including URIs.
+  #
+  # If the first argument responds to the 'open' method, 'open' is called on it
+  # with the rest of the arguments.
+  #
+  # If the first argument is a string that begins with `(protocol)://`, it is
+  # parsed by URI.parse.  If the parsed object responds to the 'open' method,
+  # 'open' is called on it with the rest of the arguments.
+  #
+  # Otherwise, Kernel#open is called.
+  #
+  # OpenURI::OpenRead#open provides URI::HTTP#open, URI::HTTPS#open and
+  # URI::FTP#open, Kernel#open.
+  #
+  # We can accept URIs and strings that begin with http://, https:// and ftp://.
+  # In these cases, the opened file object is extended by OpenURI::Meta.
+  #
+  def self.open: (String name, ?String mode, ?Integer perm, ?untyped options) -> (StringIO & OpenURI::Meta | Tempfile & OpenURI::Meta)
+               | [T] (String name, ?String mode, ?Integer perm, ?untyped options) { (StringIO | Tempfile) -> T } -> T
+end
+
+# <!-- rdoc-file=lib/open-uri.rb -->
+# OpenURI is an easy-to-use wrapper for Net::HTTP, Net::HTTPS and Net::FTP.
+#
+# ## Example
+#
+# It is possible to open an http, https or ftp URL as though it were a file:
+#
+#     URI.open("http://www.ruby-lang.org/") {|f|
+#       f.each_line {|line| p line}
+#     }
+#
+# The opened file has several getter methods for its meta-information, as
+# follows, since it is extended by OpenURI::Meta.
+#
+#     URI.open("http://www.ruby-lang.org/en") {|f|
+#       f.each_line {|line| p line}
+#       p f.base_uri         # <URI::HTTP:0x40e6ef2 URL:http://www.ruby-lang.org/en/>
+#       p f.content_type     # "text/html"
+#       p f.charset          # "iso-8859-1"
+#       p f.content_encoding # []
+#       p f.last_modified    # Thu Dec 05 02:45:02 UTC 2002
+#     }
+#
+# Additional header fields can be specified by an optional hash argument.
+#
+#     URI.open("http://www.ruby-lang.org/en/",
+#       "User-Agent" => "Ruby/#{RUBY_VERSION}",
+#       "From" => "foo@bar.invalid",
+#       "Referer" => "http://www.ruby-lang.org/") {|f|
+#       # ...
+#     }
+#
+# The environment variables such as http_proxy, https_proxy and ftp_proxy are in
+# effect by default. Here we disable proxy:
+#
+#     URI.open("http://www.ruby-lang.org/en/", :proxy => nil) {|f|
+#       # ...
+#     }
+#
+# See OpenURI::OpenRead.open and URI.open for more on available options.
+#
+# URI objects can be opened in a similar way.
+#
+#     uri = URI.parse("http://www.ruby-lang.org/en/")
+#     uri.open {|f|
+#       # ...
+#     }
+#
+# URI objects can be read directly. The returned string is also extended by
+# OpenURI::Meta.
+#
+#     str = uri.read
+#     p str.base_uri
+#
+# Author
+# :   Tanaka Akira <akr@m17n.org>
+#
+module OpenURI
+  # <!-- rdoc-file=lib/open-uri.rb -->
+  # Mixin for holding meta-information.
+  #
+  module Meta
+    # <!-- rdoc-file=lib/open-uri.rb -->
+    # returns an Array that consists of status code and message.
+    #
+    attr_accessor status: [ String, String ]
+
+    # <!-- rdoc-file=lib/open-uri.rb -->
+    # returns a URI that is the base of relative URIs in the data. It may differ
+    # from the URI supplied by a user due to redirection.
+    #
+    attr_accessor base_uri: URI::Generic
+
+    # <!-- rdoc-file=lib/open-uri.rb -->
+    # returns a Hash that represents header fields. The Hash keys are downcased for
+    # canonicalization. The Hash values are a field body. If there are multiple
+    # field with same field name, the field values are concatenated with a comma.
+    #
+    attr_reader meta: Hash[String, String]
+
+    # <!--
+    #   rdoc-file=lib/open-uri.rb
+    #   - last_modified()
+    # -->
+    # returns a Time that represents the Last-Modified field.
+    #
+    def last_modified: () -> Time?
+
+    # <!--
+    #   rdoc-file=lib/open-uri.rb
+    #   - content_type()
+    # -->
+    # returns "type/subtype" which is MIME Content-Type. It is downcased for
+    # canonicalization. Content-Type parameters are stripped.
+    #
+    def content_type: () -> String
+
+    def charet: () -> String?
+
+    # <!--
+    #   rdoc-file=lib/open-uri.rb
+    #   - content_encoding()
+    # -->
+    # Returns a list of encodings in Content-Encoding field as an array of strings.
+    #
+    # The encodings are downcased for canonicalization.
+    #
+    def content_encoding: () -> Array[String]
+  end
+
+  # <!-- rdoc-file=lib/open-uri.rb -->
+  # Mixin for HTTP and FTP URIs.
+  #
+  module OpenRead
+    # <!--
+    #   rdoc-file=lib/open-uri.rb
+    #   - open(*rest, &block)
+    # -->
+    # OpenURI::OpenRead#open provides `open' for URI::HTTP and URI::FTP.
+    #
+    # OpenURI::OpenRead#open takes optional 3 arguments as:
+    #
+    #     OpenURI::OpenRead#open([mode [, perm]] [, options]) [{|io| ... }]
+    #
+    # OpenURI::OpenRead#open returns an IO-like object if block is not given.
+    # Otherwise it yields the IO object and return the value of the block. The IO
+    # object is extended with OpenURI::Meta.
+    #
+    # `mode` and `perm` are the same as Kernel#open.
+    #
+    # However, `mode` must be read mode because OpenURI::OpenRead#open doesn't
+    # support write mode (yet). Also `perm` is ignored because it is meaningful only
+    # for file creation.
+    #
+    # `options` must be a hash.
+    #
+    # Each option with a string key specifies an extra header field for HTTP. I.e.,
+    # it is ignored for FTP without HTTP proxy.
+    #
+    # The hash may include other options, where keys are symbols:
+    #
+    # :proxy
+    # :   Synopsis:
+    #         :proxy => "http://proxy.foo.com:8000/"
+    #         :proxy => URI.parse("http://proxy.foo.com:8000/")
+    #         :proxy => true
+    #         :proxy => false
+    #         :proxy => nil
+    #
+    #     If :proxy option is specified, the value should be String, URI, boolean or
+    #     nil.
+    #
+    #     When String or URI is given, it is treated as proxy URI.
+    #
+    #     When true is given or the option itself is not specified, environment
+    #     variable `scheme_proxy' is examined. `scheme' is replaced by `http',
+    #     `https' or `ftp'.
+    #
+    #     When false or nil is given, the environment variables are ignored and
+    #     connection will be made to a server directly.
+    #
+    # :proxy_http_basic_authentication
+    # :   Synopsis:
+    #         :proxy_http_basic_authentication =>
+    #           ["http://proxy.foo.com:8000/", "proxy-user", "proxy-password"]
+    #         :proxy_http_basic_authentication =>
+    #           [URI.parse("http://proxy.foo.com:8000/"),
+    #            "proxy-user", "proxy-password"]
+    #
+    #     If :proxy option is specified, the value should be an Array with 3
+    #     elements.  It should contain a proxy URI, a proxy user name and a proxy
+    #     password.  The proxy URI should be a String, an URI or nil.  The proxy
+    #     user name and password should be a String.
+    #
+    #     If nil is given for the proxy URI, this option is just ignored.
+    #
+    #     If :proxy and :proxy_http_basic_authentication is specified, ArgumentError
+    #     is raised.
+    #
+    # :http_basic_authentication
+    # :   Synopsis:
+    #         :http_basic_authentication=>[user, password]
+    #
+    #     If :http_basic_authentication is specified, the value should be an array
+    #     which contains 2 strings: username and password. It is used for HTTP Basic
+    #     authentication defined by RFC 2617.
+    #
+    # :content_length_proc
+    # :   Synopsis:
+    #         :content_length_proc => lambda {|content_length| ... }
+    #
+    #     If :content_length_proc option is specified, the option value procedure is
+    #     called before actual transfer is started. It takes one argument, which is
+    #     expected content length in bytes.
+    #
+    #     If two or more transfers are performed by HTTP redirection, the procedure
+    #     is called only once for the last transfer.
+    #
+    #     When expected content length is unknown, the procedure is called with nil.
+    #      This happens when the HTTP response has no Content-Length header.
+    #
+    # :progress_proc
+    # :   Synopsis:
+    #         :progress_proc => lambda {|size| ...}
+    #
+    #     If :progress_proc option is specified, the proc is called with one
+    #     argument each time when `open' gets content fragment from network. The
+    #     argument `size` is the accumulated transferred size in bytes.
+    #
+    #     If two or more transfer is done by HTTP redirection, the procedure is
+    #     called only one for a last transfer.
+    #
+    #     :progress_proc and :content_length_proc are intended to be used for
+    #     progress bar. For example, it can be implemented as follows using
+    #     Ruby/ProgressBar.
+    #
+    #         pbar = nil
+    #         open("http://...",
+    #           :content_length_proc => lambda {|t|
+    #             if t && 0 < t
+    #               pbar = ProgressBar.new("...", t)
+    #               pbar.file_transfer_mode
+    #             end
+    #           },
+    #           :progress_proc => lambda {|s|
+    #             pbar.set s if pbar
+    #           }) {|f| ... }
+    #
+    # :read_timeout
+    # :   Synopsis:
+    #         :read_timeout=>nil     (no timeout)
+    #         :read_timeout=>10      (10 second)
+    #
+    #     :read_timeout option specifies a timeout of read for http connections.
+    #
+    # :open_timeout
+    # :   Synopsis:
+    #         :open_timeout=>nil     (no timeout)
+    #         :open_timeout=>10      (10 second)
+    #
+    #     :open_timeout option specifies a timeout of open for http connections.
+    #
+    # :ssl_ca_cert
+    # :   Synopsis:
+    #         :ssl_ca_cert=>filename or an Array of filenames
+    #
+    #     :ssl_ca_cert is used to specify CA certificate for SSL. If it is given,
+    #     default certificates are not used.
+    #
+    # :ssl_verify_mode
+    # :   Synopsis:
+    #         :ssl_verify_mode=>mode
+    #
+    #     :ssl_verify_mode is used to specify openssl verify mode.
+    #
+    # :ssl_min_version
+    # :   Synopsis:
+    #         :ssl_min_version=>:TLS1_2
+    #
+    #     :ssl_min_version option specifies the minimum allowed SSL/TLS protocol
+    #     version.  See also OpenSSL::SSL::SSLContext#min_version=.
+    #
+    # :ssl_max_version
+    # :   Synopsis:
+    #         :ssl_max_version=>:TLS1_2
+    #
+    #     :ssl_max_version option specifies the maximum allowed SSL/TLS protocol
+    #     version.  See also OpenSSL::SSL::SSLContext#max_version=.
+    #
+    # :ftp_active_mode
+    # :   Synopsis:
+    #         :ftp_active_mode=>bool
+    #
+    #     `:ftp_active_mode => true` is used to make ftp active mode. Ruby 1.9 uses
+    #     passive mode by default. Note that the active mode is default in Ruby 1.8
+    #     or prior.
+    #
+    # :redirect
+    # :   Synopsis:
+    #         :redirect=>bool
+    #
+    #     `:redirect` is true by default.  `:redirect => false` is used to disable
+    #     all HTTP redirects.
+    #
+    #     OpenURI::HTTPRedirect exception raised on redirection. Using `true` also
+    #     means that redirections between http and ftp are permitted.
+    #
+    def open: (*untyped) -> IO
+            | [T] (*untyped) { (IO) -> T } -> T
+
+    # <!--
+    #   rdoc-file=lib/open-uri.rb
+    #   - read(options={})
+    # -->
+    # OpenURI::OpenRead#read([ options ]) reads a content referenced by self and
+    # returns the content as string. The string is extended with OpenURI::Meta. The
+    # argument `options` is same as OpenURI::OpenRead#open.
+    #
+    def read: (untyped options) -> String
+  end
+end
+
+%a{annotate:rdoc:skip}
+module URI
+  %a{annotate:rdoc:skip}
+  class HTTP
+    include OpenURI::OpenRead
+  end
+
+  %a{annotate:rdoc:skip}
+  class FTP
+    include OpenURI::OpenRead
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 3.3.0.pre.1
+  version: 3.3.0.pre.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-10-31 00:00:00.000000000 Z
+date: 2023-11-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: abbrev
@@ -216,6 +216,7 @@ files:
 - lib/rbs/prototype/rbi.rb
 - lib/rbs/prototype/runtime.rb
 - lib/rbs/prototype/runtime/helpers.rb
+- lib/rbs/prototype/runtime/reflection.rb
 - lib/rbs/prototype/runtime/value_object_generator.rb
 - lib/rbs/repository.rb
 - lib/rbs/resolver/constant_resolver.rb
@@ -397,9 +398,13 @@ files:
 - stdlib/net-http/0/net-http.rbs
 - stdlib/net-protocol/0/manifest.yaml
 - stdlib/net-protocol/0/net-protocol.rbs
+- stdlib/net-smtp/0/manifest.yaml
+- stdlib/net-smtp/0/net-smtp.rbs
 - stdlib/nkf/0/nkf.rbs
 - stdlib/objspace/0/objspace.rbs
 - stdlib/observable/0/observable.rbs
+- stdlib/open-uri/0/manifest.yaml
+- stdlib/open-uri/0/open-uri.rbs
 - stdlib/openssl/0/manifest.yaml
 - stdlib/openssl/0/openssl.rbs
 - stdlib/optparse/0/optparse.rbs