rbs 3.1.3 → 3.2.0.pre.1

data/core/io.rbs

@@ -694,7 +694,7 @@ class IO < Object
   #     # ...
   #     f.gets # won't cause Errno::EBADF
   #
-  def autoclose=: (boolish) -> untyped
+  def autoclose=: (boolish bool) -> boolish
 
   # <!--
   #   rdoc-file=io.c
@@ -756,7 +756,7 @@ class IO < Object
   #
   # Related: IO#close_read, IO#close_write, IO#closed?.
   #
-  def close: () -> NilClass
+  def close: () -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -775,7 +775,7 @@ class IO < Object
   # (via system() method for example). If you really needs file descriptor
   # inheritance to child process, use spawn()'s argument such as fd=>fd.
   #
-  def close_on_exec=: (boolish) -> untyped
+  def close_on_exec=: (boolish bool) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -821,7 +821,7 @@ class IO < Object
   #
   # Related: IO#close, IO#close_write, IO#closed?.
   #
-  def close_read: () -> NilClass
+  def close_read: () -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -853,7 +853,7 @@ class IO < Object
   #
   # Related: IO#close, IO#close_read, IO#closed?.
   #
-  def close_write: () -> NilClass
+  def close_write: () -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -880,113 +880,6 @@ class IO < Object
   #
   def closed?: () -> bool
 
-  # <!--
-  #   rdoc-file=io.c
-  #   - each_line(sep = $/, chomp: false) {|line| ... }   -> self
-  #   - each_line(limit, chomp: false) {|line| ... }      -> self
-  #   - each_line(sep, limit, chomp: false) {|line| ... } -> self
-  #   - each_line                                   -> enumerator
-  # -->
-  # Calls the block with each remaining line read from the stream; returns `self`.
-  # Does nothing if already at end-of-stream; See [Line IO](rdoc-ref:IO@Line+IO).
-  #
-  # With no arguments given, reads lines as determined by line separator `$/`:
-  #
-  #     f = File.new('t.txt')
-  #     f.each_line {|line| p line }
-  #     f.each_line {|line| fail 'Cannot happen' }
-  #     f.close
-  #
-  # Output:
-  #
-  #     "First line\n"
-  #     "Second line\n"
-  #     "\n"
-  #     "Fourth line\n"
-  #     "Fifth line\n"
-  #
-  # With only string argument `sep` given, reads lines as determined by line
-  # separator `sep`; see [Line Separator](rdoc-ref:IO@Line+Separator):
-  #
-  #     f = File.new('t.txt')
-  #     f.each_line('li') {|line| p line }
-  #     f.close
-  #
-  # Output:
-  #
-  #     "First li"
-  #     "ne\nSecond li"
-  #     "ne\n\nFourth li"
-  #     "ne\nFifth li"
-  #     "ne\n"
-  #
-  # The two special values for `sep` are honored:
-  #
-  #     f = File.new('t.txt')
-  #     # Get all into one string.
-  #     f.each_line(nil) {|line| p line }
-  #     f.close
-  #
-  # Output:
-  #
-  #     "First line\nSecond line\n\nFourth line\nFifth line\n"
-  #
-  #     f.rewind
-  #     # Get paragraphs (up to two line separators).
-  #     f.each_line('') {|line| p line }
-  #
-  # Output:
-  #
-  #     "First line\nSecond line\n\n"
-  #     "Fourth line\nFifth line\n"
-  #
-  # With only integer argument `limit` given, limits the number of bytes in each
-  # line; see [Line Limit](rdoc-ref:IO@Line+Limit):
-  #
-  #     f = File.new('t.txt')
-  #     f.each_line(8) {|line| p line }
-  #     f.close
-  #
-  # Output:
-  #
-  #     "First li"
-  #     "ne\n"
-  #     "Second l"
-  #     "ine\n"
-  #     "\n"
-  #     "Fourth l"
-  #     "ine\n"
-  #     "Fifth li"
-  #     "ne\n"
-  #
-  # With arguments `sep` and `limit` given, combines the two behaviors:
-  #
-  # *   Calls with the next line as determined by line separator `sep`.
-  # *   But returns no more bytes than are allowed by the limit.
-  #
-  #
-  # Optional keyword argument `chomp` specifies whether line separators are to be
-  # omitted:
-  #
-  #     f = File.new('t.txt')
-  #     f.each_line(chomp: true) {|line| p line }
-  #     f.close
-  #
-  # Output:
-  #
-  #     "First line"
-  #     "Second line"
-  #     ""
-  #     "Fourth line"
-  #     "Fifth line"
-  #
-  # Returns an Enumerator if no block is given.
-  #
-  # IO#each is an alias for IO#each_line.
-  #
-  def each: (?String sep, ?Integer limit) { (String arg0) -> untyped } -> self
-          | (?String sep, ?Integer limit) -> ::Enumerator[String, self]
-
   # <!--
   #   rdoc-file=io.c
   #   - each_byte {|byte| ... } -> self
@@ -1005,7 +898,7 @@ class IO < Object
   #
   # Related: IO#each_char, IO#each_codepoint.
   #
-  def each_byte: () { (Integer arg0) -> untyped } -> self
+  def each_byte: () { (Integer byte) -> void } -> self
                | () -> ::Enumerator[Integer, self]
 
   # <!--
@@ -1026,7 +919,7 @@ class IO < Object
   #
   # Related: IO#each_byte, IO#each_codepoint.
   #
-  def each_char: () { (String arg0) -> untyped } -> self
+  def each_char: () { (String c) -> void } -> self
                | () -> ::Enumerator[String, self]
 
   # <!--
@@ -1046,7 +939,7 @@ class IO < Object
   #
   # Related: IO#each_byte, IO#each_char.
   #
-  def each_codepoint: () { (Integer arg0) -> untyped } -> self
+  def each_codepoint: () { (Integer c) -> void } -> self
                     | () -> ::Enumerator[Integer, self]
 
   # <!--
@@ -1101,7 +994,7 @@ class IO < Object
   #
   # Not implemented on all platforms.
   #
-  def fcntl: (Integer integer_cmd, String | Integer arg) -> Integer
+  def fcntl: (Integer integer_cmd, String | Integer argument) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -1309,7 +1202,7 @@ class IO < Object
   #     IO.new(fd, internal_encoding: nil) # => #<IO:fd 3>
   #     IO.new(fd, autoclose: true)        # => #<IO:fd 3>
   #
-  def initialize: (int fd, ?string | int mode, ?path: string?, **untyped opts) -> void
+  def initialize: ( int fd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String) -> void
 
   # <!--
   #   rdoc-file=io.c
@@ -1349,7 +1242,7 @@ class IO < Object
   #
   # Not implemented on all platforms.
   #
-  def ioctl: (Integer integer_cmd, String | Integer arg) -> Integer
+  def ioctl: (Integer integer_cmd, String | Integer argument) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -1383,7 +1276,7 @@ class IO < Object
   # Sets and returns the line number for the stream; see [Line
   # Number](rdoc-ref:IO@Line+Number).
   #
-  def lineno=: (Integer arg0) -> Integer
+  def lineno=: (Integer integer) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -1421,22 +1314,6 @@ class IO < Object
   #
   def pid: () -> Integer
 
-  # <!-- rdoc-file=io.c -->
-  # Returns the current position (in bytes) in `self` (see
-  # [Position](rdoc-ref:IO@Position)):
-  #
-  #     f = File.open('t.txt')
-  #     f.tell # => 0
-  #     f.gets # => "First line\n"
-  #     f.tell # => 12
-  #     f.close
-  #
-  # Related: IO#pos=, IO#seek.
-  #
-  # IO#pos is an alias for IO#tell.
-  #
-  def pos: () -> Integer
-
   # <!--
   #   rdoc-file=io.c
   #   - pos = new_position -> new_position
@@ -1452,7 +1329,7 @@ class IO < Object
   #
   # Related: IO#seek, IO#tell.
   #
-  def pos=: (Integer arg0) -> Integer
+  def pos=: (Integer new_position) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -1508,7 +1385,7 @@ class IO < Object
   #     f.print
   #     f.close
   #
-  def print: (*untyped arg0) -> NilClass
+  def print: (*untyped objects) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -1519,7 +1396,7 @@ class IO < Object
   # For details on `format_string`, see [Format
   # Specifications](rdoc-ref:format_specifications.rdoc).
   #
-  def printf: (String format_string, *untyped arg0) -> NilClass
+  def printf: (String format_string, *untyped objects) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -1539,7 +1416,7 @@ class IO < Object
   #
   #     AA
   #
-  def putc: (Numeric | String arg0) -> untyped
+  def putc: (Numeric | String object) -> (Numeric | String)
 
   # <!--
   #   rdoc-file=io.c
@@ -1586,7 +1463,7 @@ class IO < Object
   #     # Nested arrays.
   #     show([[[0, 1], 2, 3], 4, 5])  # => "0\n1\n2\n3\n4\n5\n"
   #
-  def puts: (*untyped arg0) -> NilClass
+  def puts: (*untyped objects) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -2132,7 +2009,7 @@ class IO < Object
   #
   # Related: IO#fsync.
   #
-  def sync=: (boolish) -> untyped
+  def sync=: (boolish boolean) -> boolish
 
   # <!--
   #   rdoc-file=io.c
@@ -2172,7 +2049,7 @@ class IO < Object
   #
   # This methods should not be used with other stream-writer methods.
   #
-  def syswrite: (_ToS arg0) -> Integer
+  def syswrite: (_ToS object) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -2193,6 +2070,22 @@ class IO < Object
   #
   def tell: () -> Integer
 
+  # <!-- rdoc-file=io.c -->
+  # Returns the current position (in bytes) in `self` (see
+  # [Position](rdoc-ref:IO@Position)):
+  #
+  #     f = File.open('t.txt')
+  #     f.tell # => 0
+  #     f.gets # => "First line\n"
+  #     f.tell # => 12
+  #     f.close
+  #
+  # Related: IO#pos=, IO#seek.
+  #
+  # IO#pos is an alias for IO#tell.
+  #
+  alias pos tell
+
   # <!--
   #   rdoc-file=io.c
   #   - timeout -> duration or nil
@@ -2219,7 +2112,7 @@ class IO < Object
   # effort to prevent an application from hanging on slow I/O operations, such as
   # those that occur during a slowloris attack.
   #
-  def timeout=: (Numeric?) -> void
+  def timeout=: (Numeric? duration) -> void
 
   # <!--
   #   rdoc-file=io.c
@@ -2240,7 +2133,7 @@ class IO < Object
   #
   # IO#tty? is an alias for IO#isatty.
   #
-  def tty?: () -> bool
+  alias tty? isatty
 
   # <!--
   #   rdoc-file=io.c
@@ -2280,7 +2173,7 @@ class IO < Object
   #     f.read              # => "BCDE012"
   #     f.close
   #
-  def ungetbyte: (String | Integer arg0) -> NilClass
+  def ungetbyte: (String | Integer object) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -2323,7 +2216,7 @@ class IO < Object
   #     f.getc.ord      # => 1090
   #     f.close
   #
-  def ungetc: (String arg0) -> NilClass
+  def ungetc: (String object) -> nil
 
   # <!--
   #   rdoc-file=io.c
@@ -2647,7 +2540,10 @@ class IO < Object
   #
   # Raises exceptions that IO.pipe and Kernel.spawn raise.
   #
-  def self.popen: (*untyped args) -> untyped
+  def self.popen: (string cmd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: Kernel::redirect_fd, ?out: Kernel::redirect_fd, ?err: Kernel::redirect_fd, ?close_others: boolish, ?chdir: String) -> instance
+                | (Hash[string, string?] env, string cmd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: Kernel::redirect_fd, ?out: Kernel::redirect_fd, ?err: Kernel::redirect_fd, ?close_others: boolish, ?chdir: String) -> instance
+                | [X] (string cmd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: Kernel::redirect_fd, ?out: Kernel::redirect_fd, ?err: Kernel::redirect_fd, ?close_others: boolish, ?chdir: String) { (instance) -> X } -> X
+                | [X] (Hash[string, string?] env, string cmd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: Kernel::redirect_fd, ?out: Kernel::redirect_fd, ?err: Kernel::redirect_fd, ?close_others: boolish, ?chdir: String) { (instance) -> X } -> X
 
   # <!--
   #   rdoc-file=io.c
@@ -2740,8 +2636,8 @@ class IO < Object
   #
   # Returns an Enumerator if no block is given.
   #
-  def self.foreach: (string | _ToPath path, ?String sep, ?Integer limit, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) { (String line) -> void } -> nil
-                  | (string | _ToPath path, ?String sep, ?Integer limit, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) -> ::Enumerator[String, nil]
+  def self.foreach: (string | _ToPath path, ?String sep, ?Integer limit, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp: boolish) { (String line) -> void } -> nil
+                  | (string | _ToPath path, ?String sep, ?Integer limit, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp: boolish) -> ::Enumerator[String, nil]
 
   # <!--
   #   rdoc-file=io.c
@@ -2821,8 +2717,8 @@ class IO < Object
   #     Sending message to parent
   #     Parent got: <Hi Dad>
   #
-  def self.pipe: (?String | Encoding ext_or_ext_int_enc, ?String | Encoding int_enc, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) -> [IO, IO]
-               | [X] (?String | Encoding ext_or_ext_int_enc, ?String | Encoding int_enc, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) { (IO read_io, IO write_io) -> X } -> X
+  def self.pipe: (?String | Encoding | nil ext_or_ext_int_enc, ?String | Encoding | nil int_enc, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp: boolish) -> [IO, IO]
+               | [X] (?String | Encoding | nil ext_or_ext_int_enc, ?String | Encoding | nil int_enc, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp: boolish) { (IO read_io, IO write_io) -> X } -> X
 
   # <!--
   #   rdoc-file=io.c
@@ -2879,7 +2775,7 @@ class IO < Object
   # *   [Open Options](rdoc-ref:IO@Open+Options).
   # *   [Encoding options](rdoc-ref:encodings.rdoc@Encoding+Options).
   #
-  def self.read: (String name, ?Integer length, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> String
+  def self.read: (String name, ?Integer length, ?Integer offset, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String) -> String
 
   # <!--
   #   rdoc-file=io.c
@@ -2950,7 +2846,7 @@ class IO < Object
   # *   [Encoding options](rdoc-ref:encodings.rdoc@Encoding+Options).
   # *   [Line Options](rdoc-ref:IO@Line+Options).
   #
-  def self.readlines: (String | _ToPath name, ?String sep, ?Integer limit, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) -> ::Array[String]
+  def self.readlines: (String | _ToPath name, ?String sep, ?Integer limit, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp: boolish) -> ::Array[String]
 
   # <!--
   #   rdoc-file=io.c
@@ -3121,7 +3017,8 @@ class IO < Object
   #     IO.try_convert(ARGF)     # => #<IO:<STDIN>>
   #     IO.try_convert('STDOUT') # => nil
   #
-  def self.try_convert: (untyped arg0) -> IO?
+  def self.try_convert: (_ToIO obj) -> IO
+                      | (untyped obj) -> IO?
 
   # <!--
   #   rdoc-file=io.c
@@ -3182,7 +3079,7 @@ class IO < Object
   # *   [Open Options](rdoc-ref:IO@Open+Options).
   # *   [Encoding options](rdoc-ref:encodings.rdoc@Encoding+Options).
   #
-  def self.write: (String name, _ToS arg0, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> Integer
+  def self.write: (String path, _ToS data, ?Integer offset, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String) -> Integer
 
   # <!--
   #   rdoc-file=io.c
@@ -3204,17 +3101,8 @@ class IO < Object
   # With a block given, calls the block with the IO object and returns the block's
   # value.
   #
-  def self.open: (int fd, ?string | int mode, ?path: string?, **untyped opts) -> instance
-               | [A] (int fd, ?string | int mode, ?path: string?, **untyped opts) { (instance) -> A } -> A
-
-  def bytes: () { (Integer arg0) -> untyped } -> self
-           | () -> ::Enumerator[Integer, self]
-
-  def chars: () { (String arg0) -> untyped } -> self
-           | () -> ::Enumerator[String, self]
-
-  def codepoints: () { (Integer arg0) -> untyped } -> self
-                | () -> ::Enumerator[Integer, self]
+  def self.open: (int fd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String) -> instance
+               | [X] (int fd, ?string | int mode, ?path: string?, ?external_encoding: String | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String) { (instance) -> X } -> X
 
   # <!-- rdoc-file=io.c -->
   # Calls the block with each remaining line read from the stream; returns `self`.
@@ -3314,9 +3202,115 @@ class IO < Object
   #
   # IO#each is an alias for IO#each_line.
   #
-  def each_line: (?String sep, ?Integer limit) { (String arg0) -> untyped } -> self
+  def each_line: (?String sep, ?Integer limit) { (String line) -> void } -> self
                | (?String sep, ?Integer limit) -> ::Enumerator[String, self]
 
+  # <!--
+  #   rdoc-file=io.c
+  #   - each_line(sep = $/, chomp: false) {|line| ... }   -> self
+  #   - each_line(limit, chomp: false) {|line| ... }      -> self
+  #   - each_line(sep, limit, chomp: false) {|line| ... } -> self
+  #   - each_line                                   -> enumerator
+  # -->
+  # Calls the block with each remaining line read from the stream; returns `self`.
+  # Does nothing if already at end-of-stream; See [Line IO](rdoc-ref:IO@Line+IO).
+  #
+  # With no arguments given, reads lines as determined by line separator `$/`:
+  #
+  #     f = File.new('t.txt')
+  #     f.each_line {|line| p line }
+  #     f.each_line {|line| fail 'Cannot happen' }
+  #     f.close
+  #
+  # Output:
+  #
+  #     "First line\n"
+  #     "Second line\n"
+  #     "\n"
+  #     "Fourth line\n"
+  #     "Fifth line\n"
+  #
+  # With only string argument `sep` given, reads lines as determined by line
+  # separator `sep`; see [Line Separator](rdoc-ref:IO@Line+Separator):
+  #
+  #     f = File.new('t.txt')
+  #     f.each_line('li') {|line| p line }
+  #     f.close
+  #
+  # Output:
+  #
+  #     "First li"
+  #     "ne\nSecond li"
+  #     "ne\n\nFourth li"
+  #     "ne\nFifth li"
+  #     "ne\n"
+  #
+  # The two special values for `sep` are honored:
+  #
+  #     f = File.new('t.txt')
+  #     # Get all into one string.
+  #     f.each_line(nil) {|line| p line }
+  #     f.close
+  #
+  # Output:
+  #
+  #     "First line\nSecond line\n\nFourth line\nFifth line\n"
+  #
+  #     f.rewind
+  #     # Get paragraphs (up to two line separators).
+  #     f.each_line('') {|line| p line }
+  #
+  # Output:
+  #
+  #     "First line\nSecond line\n\n"
+  #     "Fourth line\nFifth line\n"
+  #
+  # With only integer argument `limit` given, limits the number of bytes in each
+  # line; see [Line Limit](rdoc-ref:IO@Line+Limit):
+  #
+  #     f = File.new('t.txt')
+  #     f.each_line(8) {|line| p line }
+  #     f.close
+  #
+  # Output:
+  #
+  #     "First li"
+  #     "ne\n"
+  #     "Second l"
+  #     "ine\n"
+  #     "\n"
+  #     "Fourth l"
+  #     "ine\n"
+  #     "Fifth li"
+  #     "ne\n"
+  #
+  # With arguments `sep` and `limit` given, combines the two behaviors:
+  #
+  # *   Calls with the next line as determined by line separator `sep`.
+  # *   But returns no more bytes than are allowed by the limit.
+  #
+  #
+  # Optional keyword argument `chomp` specifies whether line separators are to be
+  # omitted:
+  #
+  #     f = File.new('t.txt')
+  #     f.each_line(chomp: true) {|line| p line }
+  #     f.close
+  #
+  # Output:
+  #
+  #     "First line"
+  #     "Second line"
+  #     ""
+  #     "Fourth line"
+  #     "Fifth line"
+  #
+  # Returns an Enumerator if no block is given.
+  #
+  # IO#each is an alias for IO#each_line.
+  #
+  alias each each_line
+
   # <!-- rdoc-file=io.c -->
   # Returns `true` if the stream is positioned at its end, `false` otherwise; see
   # [Position](rdoc-ref:IO@Position):
@@ -3350,10 +3344,7 @@ class IO < Object
   #
   # IO#eof? is an alias for IO#eof.
   #
-  def eof?: () -> bool
-
-  def lines: (?String sep, ?Integer limit) { (String arg0) -> untyped } -> self
-           | (?String sep, ?Integer limit) -> ::Enumerator[String, self]
+  alias eof? eof
 
   # <!-- rdoc-file=io.c -->
   # Returns the integer file descriptor for the stream:
@@ -3366,7 +3357,7 @@ class IO < Object
   #
   # IO#to_i is an alias for IO#fileno.
   #
-  def to_i: () -> Integer
+  alias to_i fileno
 end
 
 IO::APPEND: Integer

data/core/kernel.rbs

@@ -807,7 +807,7 @@ module Kernel : BasicObject
   #
   #     Process.exit!(true)
   #
-  def self?.exit!: (Integer | TrueClass | FalseClass status) -> bot
+  def self?.exit!: (?Integer | TrueClass | FalseClass status) -> bot
 
   # <!-- rdoc-file=eval.c -->
   # With no arguments, raises the exception in `$!` or raises a RuntimeError if
@@ -1241,7 +1241,8 @@ module Kernel : BasicObject
   #     [0..4, 0..4, 0..4]
   #
   def self?.p: [T] (T arg0) -> T
-             | (*untyped arg0) -> Array[untyped]
+             | (untyped, untyped, *untyped) -> Array[untyped]
+             | () -> nil
 
   # <!--
   #   rdoc-file=lib/pp.rb
@@ -1252,7 +1253,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
@@ -1770,7 +1772,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