rbs 4.0.0.dev.4 → 4.1.0.pre.2

data/core/file.rbs

@@ -2,7 +2,7 @@
 # A File object is a representation of a file in the underlying platform.
 #
 # Class File extends module FileTest, supporting such singleton methods as
-# `File.exist?`.
+# <code>File.exist?</code>.
 #
 # ## About the Examples
 #
@@ -93,8 +93,8 @@
 #     | 'a+' | Anywhere |    0     | End only |    End    |
 #     |------|----------|----------|----------|-----------|
 #
-# Note that modes `'r'` and `'r+'` are not allowed for a non-existent file
-# (exception raised).
+# Note that modes <code>'r'</code> and <code>'r+'</code> are not allowed for a
+# non-existent file (exception raised).
 #
 # In the tables:
 #
@@ -108,7 +108,7 @@
 #
 # ##### Read/Write Modes for Existing File
 #
-# *   `'r'`:
+# *   <code>'r'</code>:
 #
 #     *   File is not initially truncated:
 #
@@ -137,7 +137,7 @@
 #
 #             f.write('foo') # Raises IOError.
 #
-# *   `'w'`:
+# *   <code>'w'</code>:
 #
 #     *   File is initially truncated:
 #
@@ -191,7 +191,7 @@
 #
 #             f.read # Raises IOError.
 #
-# *   `'a'`:
+# *   <code>'a'</code>:
 #
 #     *   File is not initially truncated:
 #
@@ -223,7 +223,7 @@
 #
 #             f.read # Raises IOError.
 #
-# *   `'r+'`:
+# *   <code>'r+'</code>:
 #
 #     *   File is not initially truncated:
 #
@@ -278,7 +278,7 @@
 #             File.read(path)
 #             # => "WWWst lineXXXecond line\nFourth line\nFifth YYYe\n\u0000\u0000ZZZ"
 #
-# *   `'a+'`:
+# *   <code>'a+'</code>:
 #
 #     *   File is not initially truncated:
 #
@@ -319,10 +319,10 @@
 #
 # ##### Read/Write Modes for File To Be Created
 #
-# Note that modes `'r'` and `'r+'` are not allowed for a non-existent file
-# (exception raised).
+# Note that modes <code>'r'</code> and <code>'r+'</code> are not allowed for a
+# non-existent file (exception raised).
 #
-# *   `'w'`:
+# *   <code>'w'</code>:
 #
 #     *   File's initial write position is 0:
 #
@@ -372,7 +372,7 @@
 #
 #             f.read # Raises IOError.
 #
-# *   `'a'`:
+# *   <code>'a'</code>:
 #
 #     *   File's initial write position is 0:
 #
@@ -399,7 +399,7 @@
 #
 #             f.read # Raises IOError.
 #
-# *   `'w+'`:
+# *   <code>'w+'</code>:
 #
 #     *   File's initial position is 0:
 #
@@ -463,7 +463,7 @@
 #             f.read
 #             # => "bah"
 #
-# *   `'a+'`:
+# *   <code>'a+'</code>:
 #
 #     *   File's initial write position is 0:
 #
@@ -506,12 +506,13 @@
 # To specify whether data is to be treated as text or as binary data, either of
 # the following may be suffixed to any of the string read/write modes above:
 #
-# *   `'t'`: Text data; sets the default external encoding to `Encoding::UTF_8`;
-#     on Windows, enables conversion between EOL and CRLF and enables
-#     interpreting `0x1A` as an end-of-file marker.
-# *   `'b'`: Binary data; sets the default external encoding to
-#     `Encoding::ASCII_8BIT`; on Windows, suppresses conversion between EOL and
-#     CRLF and disables interpreting `0x1A` as an end-of-file marker.
+# *   <code>'t'</code>: Text data; sets the default external encoding to
+#     <code>Encoding::UTF_8</code>; on Windows, enables conversion between EOL
+#     and CRLF and enables interpreting `0x1A` as an end-of-file marker.
+# *   <code>'b'</code>: Binary data; sets the default external encoding to
+#     <code>Encoding::ASCII_8BIT</code>; on Windows, suppresses conversion
+#     between EOL and CRLF and disables interpreting `0x1A` as an end-of-file
+#     marker.
 #
 # If neither is given, the stream defaults to text data.
 #
@@ -530,8 +531,8 @@
 #
 # The following may be suffixed to any writable string mode above:
 #
-# *   `'x'`: Creates the file if it does not exist; raises an exception if the
-#     file exists.
+# *   <code>'x'</code>: Creates the file if it does not exist; raises an
+#     exception if the file exists.
 #
 # Example:
 #
@@ -546,12 +547,12 @@
 # ### Integer Access Modes
 #
 # When mode is an integer it must be one or more of the following constants,
-# which may be combined by the bitwise OR operator `|`:
+# which may be combined by the bitwise OR operator <code>|</code>:
 #
-# *   `File::RDONLY`: Open for reading only.
-# *   `File::WRONLY`: Open for writing only.
-# *   `File::RDWR`: Open for reading and writing.
-# *   `File::APPEND`: Open for appending only.
+# *   <code>File::RDONLY</code>: Open for reading only.
+# *   <code>File::WRONLY</code>: Open for writing only.
+# *   <code>File::RDWR</code>: Open for reading and writing.
+# *   <code>File::APPEND</code>: Open for appending only.
 #
 # Examples:
 #
@@ -565,19 +566,19 @@
 #
 # These constants may also be ORed into the integer mode:
 #
-# *   `File::CREAT`: Create file if it does not exist.
-# *   `File::EXCL`: Raise an exception if `File::CREAT` is given and the file
-#     exists.
+# *   <code>File::CREAT</code>: Create file if it does not exist.
+# *   <code>File::EXCL</code>: Raise an exception if <code>File::CREAT</code> is
+#     given and the file exists.
 #
 # ### Data Mode Specified as an Integer
 #
 # Data mode cannot be specified as an integer. When the stream access mode is
 # given as an integer, the data mode is always text, never binary.
 #
-# Note that although there is a constant `File::BINARY`, setting its value in an
-# integer stream mode has no effect; this is because, as documented in
-# File::Constants, the `File::BINARY` value disables line code conversion, but
-# does not change the external encoding.
+# Note that although there is a constant <code>File::BINARY</code>, setting its
+# value in an integer stream mode has no effect; this is because, as documented
+# in File::Constants, the <code>File::BINARY</code> value disables line code
+# conversion, but does not change the external encoding.
 #
 # ### Encodings
 #
@@ -608,14 +609,14 @@
 # internal to external encoding. For further details about transcoding input and
 # output, see [Encodings](rdoc-ref:encodings.rdoc@Encodings).
 #
-# If the external encoding is `'BOM|UTF-8'`, `'BOM|UTF-16LE'` or
-# `'BOM|UTF16-BE'`, Ruby checks for a Unicode BOM in the input document to help
-# determine the encoding. For UTF-16 encodings the file open mode must be
-# binary. If the BOM is found, it is stripped and the external encoding from the
-# BOM is used.
+# If the external encoding is <code>'BOM|UTF-8'</code>,
+# <code>'BOM|UTF-16LE'</code> or <code>'BOM|UTF16-BE'</code>, Ruby checks for a
+# Unicode BOM in the input document to help determine the encoding. For UTF-16
+# encodings the file open mode must be binary. If the BOM is found, it is
+# stripped and the external encoding from the BOM is used.
 #
-# Note that the BOM-style encoding option is case insensitive, so `'bom|utf-8'`
-# is also valid.
+# Note that the BOM-style encoding option is case insensitive, so
+# <code>'bom|utf-8'</code> is also valid.
 #
 # ## File Permissions
 #
@@ -669,7 +670,7 @@
 #
 # Various constants for use in File and IO methods may be found in module
 # File::Constants; an array of their names is returned by
-# `File::Constants.constants`.
+# <code>File::Constants.constants</code>.
 #
 # ## What's Here
 #
@@ -705,7 +706,7 @@
 # *   ::basename: Returns the last component of the given file path.
 # *   ::dirname: Returns all but the last component of the given file path.
 # *   ::expand_path: Returns the absolute file path for the given path,
-#     expanding `~` for a home directory.
+#     expanding <code>~</code> for a home directory.
 # *   ::extname: Returns the file extension for the given file path.
 # *   ::fnmatch? (aliased as ::fnmatch): Returns whether the given file path
 #     matches the given pattern.
@@ -809,6 +810,30 @@
 # *   #truncate: Truncates `self` to the given size.
 #
 class File < IO
+  # The string that `File.ftype` and `File::Stat#ftype` return
+  type ftype = 'file' | 'directory' | 'characterSpecial' | 'blockSpecial'
+              | 'fifo' | 'link' | 'socket' | 'unknown'
+
+  # <!-- rdoc-file=file.c -->
+  # platform specific alternative separator
+  #
+  ALT_SEPARATOR: String?
+
+  # <!-- rdoc-file=file.c -->
+  # path list separator
+  #
+  PATH_SEPARATOR: String
+
+  # <!-- rdoc-file=file.c -->
+  # separates directory parts in path
+  #
+  SEPARATOR: String
+
+  # <!-- rdoc-file=file.c -->
+  # separates directory parts in path
+  #
+  Separator: String
+
   # <!--
   #   rdoc-file=io.c
   #   - File.new(path, mode = 'r', perm = 0666, **opts) -> file
@@ -847,7 +872,30 @@ class File < IO
   # *   [Open Options](rdoc-ref:IO@Open+Options).
   # *   [Encoding options](rdoc-ref:encodings.rdoc@Encoding+Options).
   #
-  def initialize: (string | _ToPath | int file_name, ?string | int mode, ?int perm) -> void
+  def initialize: (
+    path | int file_name,
+    ?string | int mode,
+    ?int perm,
+    # open options
+    ?mode: Integer | String,
+    ?flags: Integer,
+    ?external_encoding: encoding,
+    ?internal_encoding: encoding,
+    ?encoding: encoding,
+    ?textmode: boolish,
+    ?binmode: boolish,
+    ?autoclose: boolish,
+    ?path: path,
+    # encoding options
+    ?invalid: :replace | nil,
+    ?undef: :replace | nil,
+    ?replace: String | nil,
+    ?fallback: Hash[string, string] | ^(String) -> string | Method | nil,
+    ?xml: :text | :attr | nil,
+    ?cr_newline: bool,
+    ?crlf_newline: bool,
+    ?universal_newline: bool
+  ) -> void
 
   # <!--
   #   rdoc-file=file.c
@@ -856,12 +904,12 @@ class File < IO
   # Converts a pathname to an absolute pathname. Relative paths are referenced
   # from the current working directory of the process unless *dir_string* is
   # given, in which case it will be used as the starting point. If the given
-  # pathname starts with a ```~`'' it is NOT expanded, it is treated as a normal
-  # directory name.
+  # pathname starts with a ``<code>~</code>'' it is NOT expanded, it is treated as
+  # a normal directory name.
   #
   #     File.absolute_path("~oracle/bin")       #=> "<relative_path>/~oracle/bin"
   #
-  def self.absolute_path: (string | _ToPath file_name, ?string | _ToPath dir_string) -> String
+  def self.absolute_path: (path file_name, ?path dir_string) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -871,7 +919,7 @@ class File < IO
   #
   #     File.absolute_path?("c:/foo")     #=> false (on Linux), true (on Windows)
   #
-  def self.absolute_path?: (string | _ToPath file_name) -> bool
+  def self.absolute_path?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -883,7 +931,7 @@ class File < IO
   #
   #     File.atime("testfile")   #=> Wed Apr 09 08:51:48 CDT 2003
   #
-  def self.atime: (string | _ToPath | IO file_name) -> Time
+  def self.atime: (path | IO file_name) -> Time
 
   # <!--
   #   rdoc-file=file.c
@@ -899,7 +947,7 @@ class File < IO
   #     File.basename("/home/gumby/work/ruby.rb", ".rb")   #=> "ruby"
   #     File.basename("/home/gumby/work/ruby.rb", ".*")    #=> "ruby"
   #
-  def self.basename: (string | _ToPath file_name, ?string suffix) -> String
+  def self.basename: (path file_name, ?string suffix) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -913,7 +961,7 @@ class File < IO
   #
   # If the platform doesn't have birthtime, raises NotImplementedError.
   #
-  def self.birthtime: (string | _ToPath | IO file_name) -> Time
+  def self.birthtime: (path | IO file_name) -> Time
 
   # <!--
   #   rdoc-file=file.c
@@ -924,7 +972,7 @@ class File < IO
   #     File.blockdev?('/dev/sda1')       # => true
   #     File.blockdev?(File.new('t.tmp')) # => false
   #
-  def self.blockdev?: (string | _ToPath | IO file_name) -> bool
+  def self.blockdev?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -935,7 +983,7 @@ class File < IO
   #     File.chardev?($stdin)     # => true
   #     File.chardev?('t.txt')     # => false
   #
-  def self.chardev?: (string | _ToPath | IO file_name) -> bool
+  def self.chardev?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -943,12 +991,12 @@ class File < IO
   # -->
   # Changes permission bits on the named file(s) to the bit pattern represented by
   # *mode_int*. Actual effects are operating system dependent (see the beginning
-  # of this section). On Unix systems, see `chmod(2)` for details. Returns the
-  # number of files processed.
+  # of this section). On Unix systems, see <code>chmod(2)</code> for details.
+  # Returns the number of files processed.
   #
   #     File.chmod(0644, "testfile", "out")   #=> 2
   #
-  def self.chmod: (int mode, *string | _ToPath file_name) -> Integer
+  def self.chmod: (int mode, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -962,7 +1010,7 @@ class File < IO
   #
   #     File.chown(nil, 100, "testfile")
   #
-  def self.chown: (int? owner, int? group, *string | _ToPath file_name) -> Integer
+  def self.chown: (int? owner, int? group, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -977,7 +1025,7 @@ class File < IO
   #
   #     File.ctime("testfile")   #=> Wed Apr 09 08:53:13 CDT 2003
   #
-  def self.ctime: (string | _ToPath | IO file_name) -> Time
+  def self.ctime: (path | IO file_name) -> Time
 
   # <!--
   #   rdoc-file=file.c
@@ -986,9 +1034,9 @@ class File < IO
   # -->
   # Deletes the named files, returning the number of names passed as arguments.
   # Raises an exception on any error. Since the underlying implementation relies
-  # on the `unlink(2)` system call, the type of exception raised depends on its
-  # error type (see https://linux.die.net/man/2/unlink) and has the form of e.g.
-  # Errno::ENOENT.
+  # on the <code>unlink(2)</code> system call, the type of exception raised
+  # depends on its error type (see https://linux.die.net/man/2/unlink) and has the
+  # form of e.g. Errno::ENOENT.
   #
   # See also Dir::rmdir.
   #
@@ -1010,7 +1058,7 @@ class File < IO
   #
   # Argument `path` can be an IO object.
   #
-  def self.directory?: (string | _ToPath | IO path) -> bool
+  def self.directory?: (path | IO path) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1028,7 +1076,7 @@ class File < IO
   #     File.dirname("/home/gumby/work/ruby.rb", 2) #=> "/home/gumby"
   #     File.dirname("/home/gumby/work/ruby.rb", 4) #=> "/"
   #
-  def self.dirname: (string | _ToPath file_name, ?Integer level) -> String
+  def self.dirname: (path file_name, ?Integer level) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1054,7 +1102,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not executable by the effective user/group.
   #
-  def self.executable?: (string | _ToPath file_name) -> bool
+  def self.executable?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1070,7 +1118,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not executable by the real user/group.
   #
-  def self.executable_real?: (string | _ToPath file_name) -> bool
+  def self.executable_real?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1082,7 +1130,7 @@ class File < IO
   #
   # "file exists" means that stat() or fstat() system call is successful.
   #
-  def self.exist?: (string | _ToPath | IO file_name) -> bool
+  def self.exist?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1091,9 +1139,9 @@ class File < IO
   # Converts a pathname to an absolute pathname. Relative paths are referenced
   # from the current working directory of the process unless `dir_string` is
   # given, in which case it will be used as the starting point. The given pathname
-  # may start with a ```~`'', which expands to the process owner's home directory
-  # (the environment variable `HOME` must be set correctly). ```~`*user*'' expands
-  # to the named user's home directory.
+  # may start with a ``<code>~</code>'', which expands to the process owner's home
+  # directory (the environment variable `HOME` must be set correctly).
+  # ``<code>~</code>*user*'' expands to the named user's home directory.
   #
   #     File.expand_path("~oracle/bin")           #=> "/home/oracle/bin"
   #
@@ -1107,9 +1155,9 @@ class File < IO
   #     #=> ".../path/to/project/lib/mygem.rb"
   #
   # So first it resolves the parent of __FILE__, that is bin/, then go to the
-  # parent, the root of the project and appends `lib/mygem.rb`.
+  # parent, the root of the project and appends <code>lib/mygem.rb</code>.
   #
-  def self.expand_path: (string | _ToPath file_name, ?string | _ToPath dir_string) -> String
+  def self.expand_path: (path file_name, ?path dir_string) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1135,7 +1183,7 @@ class File < IO
   #     File.extname(".profile")        #=> ""
   #     File.extname(".profile.sh")     #=> ".sh"
   #
-  def self.extname: (string | _ToPath path) -> String
+  def self.extname: (path path) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1148,7 +1196,7 @@ class File < IO
   # If the `file` argument is a symbolic link, it will resolve the symbolic link
   # and use the file referenced by the link.
   #
-  def self.file?: (string | _ToPath | IO file) -> bool
+  def self.file?: (path | IO file) -> bool
 
   # <!--
   #   rdoc-file=dir.rb
@@ -1159,48 +1207,48 @@ class File < IO
   # regular expression; instead it follows rules similar to shell filename
   # globbing.  It may contain the following metacharacters:
   #
-  # `*`
+  # <code>*</code>
   # :   Matches any file. Can be restricted by other values in the glob.
-  #     Equivalent to `/.*/x` in regexp.
+  #     Equivalent to <code>/.*/x</code> in regexp.
   #
-  #     `*`
+  #     <code>*</code>
   # :       Matches all regular files
   #
-  #     `c*`
+  #     <code>c*</code>
   # :       Matches all files beginning with `c`
   #
-  #     `*c`
+  #     <code>*c</code>
   # :       Matches all files ending with `c`
   #
-  #     `*c*`
+  #     <code>*c*</code>
   # :       Matches all files that have `c` in them (including at the beginning or
   #         end).
   #
   #
-  #     To match hidden files (that start with a `.`) set the File::FNM_DOTMATCH
-  #     flag.
+  #     To match hidden files (that start with a <code>.</code>) set the
+  #     File::FNM_DOTMATCH flag.
   #
   #
-  # `**`
+  # <code>**</code>
   # :   Matches directories recursively or files expansively.
   #
   #
-  # `?`
-  # :   Matches any one character. Equivalent to `/.{1}/` in regexp.
+  # <code>?</code>
+  # :   Matches any one character. Equivalent to <code>/.{1}/</code> in regexp.
   #
   #
-  # `[set]`
+  # <code>[set]</code>
   # :   Matches any one character in `set`.  Behaves exactly like character sets
-  #     in Regexp, including set negation (`[^a-z]`).
+  #     in Regexp, including set negation (<code>[^a-z]</code>).
   #
   #
-  # `\`
+  # <code>\</code>
   # :   Escapes the next metacharacter.
   #
   #
-  # `{a,b}`
+  # <code>{a,b}</code>
   # :   Matches pattern a and pattern b if File::FNM_EXTGLOB flag is enabled.
-  #     Behaves like a Regexp union (`(?:a|b)`).
+  #     Behaves like a Regexp union (<code>(?:a|b)</code>).
   #
   #
   # `flags` is a bitwise OR of the `FNM_XXX` constants. The same glob pattern and
@@ -1252,7 +1300,7 @@ class File < IO
   #     File.fnmatch('**/foo', 'a/.b/c/foo', File::FNM_PATHNAME)    #=> false
   #     File.fnmatch('**/foo', 'a/.b/c/foo', File::FNM_PATHNAME | File::FNM_DOTMATCH) #=> true
   #
-  def self.fnmatch: (string pattern, string | _ToPath path, ?int flags) -> bool
+  def self.fnmatch: (string pattern, path path, ?int flags) -> bool
 
   # <!--
   #   rdoc-file=dir.rb
@@ -1273,7 +1321,7 @@ class File < IO
   #     File.ftype("/dev/tty")            #=> "characterSpecial"
   #     File.ftype("/tmp/.X11-unix/X0")   #=> "socket"
   #
-  def self.ftype: (string | _ToPath file_name) -> String
+  def self.ftype: (path file_name) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1284,7 +1332,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.grpowned?: (string | _ToPath | IO file_name) -> bool
+  def self.grpowned?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1304,13 +1352,13 @@ class File < IO
   #     open("d", "w") {}
   #     p File.identical?("a", "d")      #=> false
   #
-  def self.identical?: (string | _ToPath | IO file_1, string | _ToPath | IO file_2) -> bool
+  def self.identical?: (path | IO file_1, path | IO file_2) -> bool
 
   # <!--
   #   rdoc-file=file.c
   #   - File.join(string, ...)  ->  string
   # -->
-  # Returns a new string formed by joining the strings using `"/"`.
+  # Returns a new string formed by joining the strings using <code>"/"</code>.
   #
   #     File.join("usr", "mail", "gumby")   #=> "usr/mail/gumby"
   #
@@ -1324,7 +1372,7 @@ class File < IO
   # change the permissions associated with the link, not the file referenced by
   # the link). Often not available.
   #
-  def self.lchmod: (int mode, *string | _ToPath file_name) -> Integer
+  def self.lchmod: (int mode, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1334,7 +1382,7 @@ class File < IO
   # change the owner associated with the link, not the file referenced by the
   # link). Often not available. Returns number of files in the argument list.
   #
-  def self.lchown: (int? owner, int? group, *string | _ToPath file_name) -> Integer
+  def self.lchown: (int? owner, int? group, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1347,7 +1395,7 @@ class File < IO
   #     File.link("testfile", ".testfile")   #=> 0
   #     IO.readlines(".testfile")[0]         #=> "This is line one\n"
   #
-  def self.link: (string | _ToPath old_name, string | _ToPath new_name) -> 0
+  def self.link: (path old_name, path new_name) -> 0
 
   # <!--
   #   rdoc-file=file.c
@@ -1360,7 +1408,7 @@ class File < IO
   #     File.stat('symlink').size  # => 47
   #     File.lstat('symlink').size # => 5
   #
-  def self.lstat: (string | _ToPath file_name) -> File::Stat
+  def self.lstat: (path file_name) -> File::Stat
 
   # <!--
   #   rdoc-file=file.c
@@ -1371,7 +1419,7 @@ class File < IO
   # opposed to its referent; for the inverse behavior, see File.utime. Returns the
   # number of file names in the argument list.
   #
-  def self.lutime: (Time | Numeric atime, Time | Numeric mtime, *string | _ToPath file_name) -> Integer
+  def self.lutime: (Time | Numeric atime, Time | Numeric mtime, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1381,7 +1429,7 @@ class File < IO
   # FIFO's permissions. It is modified by the process's umask in the usual way:
   # the permissions of the created file are (mode & ~umask).
   #
-  def self.mkfifo: (string | _ToPath file_name, ?int mode) -> 0
+  def self.mkfifo: (path file_name, ?int mode) -> 0
 
   # <!--
   #   rdoc-file=file.c
@@ -1393,7 +1441,7 @@ class File < IO
   #
   #     File.mtime("testfile")   #=> Tue Apr 08 12:58:04 CDT 2003
   #
-  def self.mtime: (string | _ToPath | IO file_name) -> Time
+  def self.mtime: (path | IO file_name) -> Time
 
   # <!--
   #   rdoc-file=io.c
@@ -1407,19 +1455,65 @@ class File < IO
   # With a block given, calls the block with the File object and returns the
   # block's value.
   #
-  def self.open: (string | _ToPath | int file_name, ?string | int mode, ?int perm) -> instance
-               | [T] (string | _ToPath | int file_name, ?string | int mode, ?int perm) { (File) -> T } -> T
+  def self.open: (
+    path | int file_name,
+    ?string | int mode,
+    ?int perm,
+    # open options
+    ?mode: Integer | String,
+    ?flags: Integer,
+    ?external_encoding: encoding,
+    ?internal_encoding: encoding,
+    ?encoding: encoding,
+    ?textmode: boolish,
+    ?binmode: boolish,
+    ?autoclose: boolish,
+    ?path: path,
+    # encoding options
+    ?invalid: :replace | nil,
+    ?undef: :replace | nil,
+    ?replace: String | nil,
+    ?fallback: Hash[string, string] | ^(String) -> string | Method | nil,
+    ?xml: :text | :attr | nil,
+    ?cr_newline: bool,
+    ?crlf_newline: bool,
+    ?universal_newline: bool
+  ) -> instance
+               | [T] (
+      path | int file_name,
+      ?string | int mode,
+      ?int perm,
+      # open options
+      ?mode: Integer | String,
+      ?flags: Integer,
+      ?external_encoding: encoding,
+      ?internal_encoding: encoding,
+      ?encoding: encoding,
+      ?textmode: boolish,
+      ?binmode: boolish,
+      ?autoclose: boolish,
+      ?path: path,
+      # encoding options
+      ?invalid: :replace | nil,
+      ?undef: :replace | nil,
+      ?replace: String | nil,
+      ?fallback: Hash[string, string] | ^(String) -> string | Method | nil,
+      ?xml: :text | :attr | nil,
+      ?cr_newline: bool,
+      ?crlf_newline: bool,
+      ?universal_newline: bool
+    ) { (File) -> T } -> T
 
   # <!--
   #   rdoc-file=file.c
   #   - File.owned?(file_name)   -> true or false
   # -->
-  # Returns `true` if the named file exists and the effective used id of the
+  # Returns `true` if the named file exists and the effective user id of the
   # calling process is the owner of the file.
   #
   # *file_name* can be an IO object.
   #
-  def self.owned?: (string | _ToPath | IO file_name) -> bool
+  def self.owned?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1427,10 +1521,27 @@ class File < IO
   # -->
   # Returns the string representation of the path
   #
-  #     File.path(File::NULL)           #=> "/dev/null"
-  #     File.path(Pathname.new("/tmp")) #=> "/tmp"
+  #        File.path(File::NULL)           #=> "/dev/null"
+  #        File.path(Pathname.new("/tmp")) #=> "/tmp"
+  #
+  # If `path` is not a String:
+  #
+  # 1.  If it has the `to_path` method, that method will be called to coerce to a
+  #     String.
   #
-  def self.path: (string | _ToPath path) -> String
+  # 2.  Otherwise, or if the coerced result is not a String too, the standard
+  #     coersion using `to_str` method will take place on that object. (See also
+  #     String.try_convert)
+  #
+  # The coerced string must satisfy the following conditions:
+  #
+  # 1.  It must be in an ASCII-compatible encoding; otherwise, an
+  #     Encoding::CompatibilityError is raised.
+  #
+  # 2.  It must not contain the NUL character (<code>\0</code>); otherwise, an
+  #     ArgumentError is raised.
+  #
+  def self.path: (path path) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1442,7 +1553,7 @@ class File < IO
   #     File.pipe?('tmp/fifo') # => true
   #     File.pipe?('t.txt')    # => false
   #
-  def self.pipe?: (string | _ToPath | IO file_name) -> bool
+  def self.pipe?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1454,7 +1565,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not readable by the effective user/group.
   #
-  def self.readable?: (string | _ToPath file_name) -> bool
+  def self.readable?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1466,7 +1577,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not readable by the real user/group.
   #
-  def self.readable_real?: (string | _ToPath file_name) -> bool
+  def self.readable_real?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1478,7 +1589,7 @@ class File < IO
   #     File.symlink("testfile", "link2test")   #=> 0
   #     File.readlink("link2test")              #=> "testfile"
   #
-  def self.readlink: (string | _ToPath link_name) -> String
+  def self.readlink: (path link_name) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1492,7 +1603,7 @@ class File < IO
   #
   # The last component of the real pathname can be nonexistent.
   #
-  def self.realdirpath: (string | _ToPath pathname, ?string | _ToPath dir_string) -> String
+  def self.realdirpath: (path pathname, ?path dir_string) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1506,7 +1617,7 @@ class File < IO
   #
   # All components of the pathname must exist when this method is called.
   #
-  def self.realpath: (string | _ToPath pathname, ?string | _ToPath dir_string) -> String
+  def self.realpath: (path pathname, ?path dir_string) -> String
 
   # <!--
   #   rdoc-file=file.c
@@ -1517,7 +1628,7 @@ class File < IO
   #
   #     File.rename("afile", "afile.bak")   #=> 0
   #
-  def self.rename: (string | _ToPath old_name, string | _ToPath new_name) -> 0
+  def self.rename: (path old_name, path new_name) -> 0
 
   # <!--
   #   rdoc-file=file.c
@@ -1527,7 +1638,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.setgid?: (string | _ToPath | IO file_name) -> bool
+  def self.setgid?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1537,7 +1648,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.setuid?: (string | _ToPath | IO file_name) -> bool
+  def self.setuid?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1547,7 +1658,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.size: (string | _ToPath | IO file_name) -> Integer
+  def self.size: (path | IO file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1558,7 +1669,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.size?: (string | _ToPath | IO file_name) -> Integer?
+  def self.size?: (path | IO file_name) -> Integer?
 
   # <!--
   #   rdoc-file=file.c
@@ -1570,7 +1681,7 @@ class File < IO
   #     File.socket?(Socket.new(:INET, :STREAM)) # => true
   #     File.socket?(File.new('t.txt'))          # => false
   #
-  def self.socket?: (string | _ToPath | IO file_name) -> bool
+  def self.socket?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1581,7 +1692,7 @@ class File < IO
   #
   #     File.split("/home/gumby/.profile")   #=> ["/home/gumby", ".profile"]
   #
-  def self.split: (string | _ToPath file_name) -> [ String, String ]
+  def self.split: (path file_name) -> [ String, String ]
 
   # <!--
   #   rdoc-file=file.c
@@ -1591,7 +1702,7 @@ class File < IO
   #
   #     File.stat('t.txt').class # => File::Stat
   #
-  def self.stat: (string | _ToPath file_name) -> File::Stat
+  def self.stat: (path file_name) -> File::Stat
 
   # <!--
   #   rdoc-file=file.c
@@ -1601,7 +1712,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.sticky?: (string | _ToPath | IO file_name) -> bool
+  def self.sticky?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1613,7 +1724,7 @@ class File < IO
   #
   #     File.symlink("testfile", "link2test")   #=> 0
   #
-  def self.symlink: (string | _ToPath old_name, string | _ToPath new_name) -> 0
+  def self.symlink: (path old_name, path new_name) -> 0
 
   # <!--
   #   rdoc-file=file.c
@@ -1625,7 +1736,7 @@ class File < IO
   #     File.symlink?('symlink') # => true
   #     File.symlink?('t.txt')   # => false
   #
-  def self.symlink?: (string | _ToPath file_name) -> bool
+  def self.symlink?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1640,7 +1751,7 @@ class File < IO
   #     File.truncate("out", 5)   #=> 0
   #     File.size("out")          #=> 5
   #
-  def self.truncate: (string | _ToPath file_name, int length) -> 0
+  def self.truncate: (path file_name, int length) -> 0
 
   # <!--
   #   rdoc-file=file.c
@@ -1664,13 +1775,13 @@ class File < IO
   # -->
   # Deletes the named files, returning the number of names passed as arguments.
   # Raises an exception on any error. Since the underlying implementation relies
-  # on the `unlink(2)` system call, the type of exception raised depends on its
-  # error type (see https://linux.die.net/man/2/unlink) and has the form of e.g.
-  # Errno::ENOENT.
+  # on the <code>unlink(2)</code> system call, the type of exception raised
+  # depends on its error type (see https://linux.die.net/man/2/unlink) and has the
+  # form of e.g. Errno::ENOENT.
   #
   # See also Dir::rmdir.
   #
-  def self.unlink: (*string | _ToPath file_name) -> Integer
+  def self.unlink: (*path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1681,7 +1792,7 @@ class File < IO
   # than the link itself; for the inverse behavior see File.lutime. Returns the
   # number of file names in the argument list.
   #
-  def self.utime: (Time | Numeric atime, Time | Numeric mtime, *string | _ToPath file_name) -> Integer
+  def self.utime: (Time | Numeric atime, Time | Numeric mtime, *path file_name) -> Integer
 
   # <!--
   #   rdoc-file=file.c
@@ -1689,7 +1800,7 @@ class File < IO
   # -->
   # If *file_name* is readable by others, returns an integer representing the file
   # permission bits of *file_name*. Returns `nil` otherwise. The meaning of the
-  # bits is platform dependent; on Unix systems, see `stat(2)`.
+  # bits is platform dependent; on Unix systems, see <code>stat(2)</code>.
   #
   # *file_name* can be an IO object.
   #
@@ -1697,7 +1808,7 @@ class File < IO
   #     m = File.world_readable?("/etc/passwd")
   #     sprintf("%o", m)                              #=> "644"
   #
-  def self.world_readable?: (string | _ToPath | IO file_name) -> Integer?
+  def self.world_readable?: (path | IO file_name) -> Integer?
 
   # <!--
   #   rdoc-file=file.c
@@ -1705,7 +1816,7 @@ class File < IO
   # -->
   # If *file_name* is writable by others, returns an integer representing the file
   # permission bits of *file_name*. Returns `nil` otherwise. The meaning of the
-  # bits is platform dependent; on Unix systems, see `stat(2)`.
+  # bits is platform dependent; on Unix systems, see <code>stat(2)</code>.
   #
   # *file_name* can be an IO object.
   #
@@ -1713,7 +1824,7 @@ class File < IO
   #     m = File.world_writable?("/tmp")
   #     sprintf("%o", m)                              #=> "777"
   #
-  def self.world_writable?: (string | _ToPath | IO file_name) -> Integer?
+  def self.world_writable?: (path | IO file_name) -> Integer?
 
   # <!--
   #   rdoc-file=file.c
@@ -1725,7 +1836,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not writable by the effective user/group.
   #
-  def self.writable?: (string | _ToPath file_name) -> bool
+  def self.writable?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1737,7 +1848,7 @@ class File < IO
   # Note that some OS-level security features may cause this to return true even
   # though the file is not writable by the real user/group.
   #
-  def self.writable_real?: (string | _ToPath file_name) -> bool
+  def self.writable_real?: (path file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1747,7 +1858,7 @@ class File < IO
   #
   # *file_name* can be an IO object.
   #
-  def self.zero?: (string | _ToPath | IO file_name) -> bool
+  def self.zero?: (path | IO file_name) -> bool
 
   # <!--
   #   rdoc-file=file.c
@@ -1778,7 +1889,8 @@ class File < IO
   # -->
   # Changes permission bits on *file* to the bit pattern represented by
   # *mode_int*. Actual effects are platform dependent; on Unix systems, see
-  # `chmod(2)` for details. Follows symbolic links. Also see File#lchmod.
+  # <code>chmod(2)</code> for details. Follows symbolic links. Also see
+  # File#lchmod.
   #
   #     f = File.new("out", "w");
   #     f.chmod(0644)   #=> 0
@@ -1816,18 +1928,18 @@ class File < IO
   #   rdoc-file=file.c
   #   - flock(locking_constant) -> 0 or false
   # -->
-  # Locks or unlocks file `self` according to the given `locking_constant`,
+  # Locks or unlocks file +self+ according to the given `locking_constant`,
   # a bitwise OR of the values in the table below.
   # Not available on all platforms.
-  # Returns `false` if `File::LOCK_NB` is specified and the operation would have
-  # blocked;
+  # Returns `false` if <code>File::LOCK_NB</code> is specified and the operation
+  # would have blocked;
   # otherwise returns `0`.
-  #    Constant    |    Lock    |                                                    Effect
-  # ---------------|------------|--------------------------------------------------------------------------------------------------------------
-  # +File::LOCK_EX+| Exclusive  |                      Only one process may hold an exclusive lock for +self+ at a time.
-  # +File::LOCK_NB+|Non-blocking|No blocking; may be combined with +File::LOCK_SH+ or +File::LOCK_EX+ using the bitwise OR operator <tt>|</tt>.
-  # +File::LOCK_SH+|   Shared   |                 Multiple processes may each hold a shared lock for +self+ at the same time.
-  # +File::LOCK_UN+|   Unlock   |                                Remove an existing lock held by this process.
+  #    Constant    |    Lock    |                                                      Effect
+  # ---------------|------------|------------------------------------------------------------------------------------------------------------------
+  # +File::LOCK_EX+| Exclusive  |                        Only one process may hold an exclusive lock for +self+ at a time.
+  # +File::LOCK_NB+|Non-blocking|No blocking; may be combined with +File::LOCK_SH+ or +File::LOCK_EX+ using the bitwise OR operator <code>|</code>.
+  # +File::LOCK_SH+|   Shared   |                   Multiple processes may each hold a shared lock for +self+ at the same time.
+  # +File::LOCK_UN+|   Unlock   |                                  Remove an existing lock held by this process.
   # Example:
   #     # Update a counter using an exclusive lock.
   # # Don't use File::WRONLY because it truncates the file.
@@ -1931,1006 +2043,3 @@ class File < IO
   #
   def truncate: (int length) -> 0
 end
-
-# <!-- rdoc-file=file.c -->
-# platform specific alternative separator
-#
-File::ALT_SEPARATOR: String?
-
-# <!-- rdoc-file=file.c -->
-# path list separator
-#
-File::PATH_SEPARATOR: String
-
-# <!-- rdoc-file=file.c -->
-# separates directory parts in path
-#
-File::SEPARATOR: String
-
-# <!-- rdoc-file=file.c -->
-# separates directory parts in path
-#
-File::Separator: String
-
-# <!-- rdoc-file=file.c -->
-# Module `File::Constants` defines file-related constants.
-#
-# There are two families of constants here:
-#
-# *   Those having to do with [file
-#     access](rdoc-ref:File::Constants@File+Access).
-# *   Those having to do with [filename
-#     globbing](rdoc-ref:File::Constants@Filename+Globbing+Constants+-28File-3A-
-#     3AFNM_-2A-29).
-#
-# File constants defined for the local process may be retrieved with method
-# File::Constants.constants:
-#
-#     File::Constants.constants.take(5)
-#     # => [:RDONLY, :WRONLY, :RDWR, :APPEND, :CREAT]
-#
-# ## File Access
-#
-# File-access constants may be used with optional argument `mode` in calls to
-# the following methods:
-#
-# *   File.new.
-# *   File.open.
-# *   IO.for_fd.
-# *   IO.new.
-# *   IO.open.
-# *   IO.popen.
-# *   IO.reopen.
-# *   IO.sysopen.
-# *   StringIO.new.
-# *   StringIO.open.
-# *   StringIO#reopen.
-#
-# ### Read/Write Access
-#
-# Read-write access for a stream may be specified by a file-access constant.
-#
-# The constant may be specified as part of a bitwise OR of other such constants.
-#
-# Any combination of the constants in this section may be specified.
-#
-# #### File::RDONLY
-#
-# Flag File::RDONLY specifies the stream should be opened for reading only:
-#
-#     filepath = '/tmp/t.tmp'
-#     f = File.new(filepath, File::RDONLY)
-#     f.write('Foo') # Raises IOError (not opened for writing).
-#
-# #### File::WRONLY
-#
-# Flag File::WRONLY specifies that the stream should be opened for writing only:
-#
-#     f = File.new(filepath, File::WRONLY)
-#     f.read # Raises IOError (not opened for reading).
-#
-# #### File::RDWR
-#
-# Flag File::RDWR specifies that the stream should be opened for both reading
-# and writing:
-#
-#     f = File.new(filepath, File::RDWR)
-#     f.write('Foo') # => 3
-#     f.rewind       # => 0
-#     f.read         # => "Foo"
-#
-# ### File Positioning
-#
-# #### File::APPEND
-#
-# Flag File::APPEND specifies that the stream should be opened in append mode.
-#
-# Before each write operation, the position is set to end-of-stream. The
-# modification of the position and the following write operation are performed
-# as a single atomic step.
-#
-# #### File::TRUNC
-#
-# Flag File::TRUNC specifies that the stream should be truncated at its
-# beginning. If the file exists and is successfully opened for writing, it is to
-# be truncated to position zero; its ctime and mtime are updated.
-#
-# There is no effect on a FIFO special file or a terminal device. The effect on
-# other file types is implementation-defined. The result of using File::TRUNC
-# with File::RDONLY is undefined.
-#
-# ### Creating and Preserving
-#
-# #### File::CREAT
-#
-# Flag File::CREAT specifies that the stream should be created if it does not
-# already exist.
-#
-# If the file exists:
-#
-#     - Raise an exception if File::EXCL is also specified.
-#     - Otherwise, do nothing.
-#
-# If the file does not exist, then it is created. Upon successful completion,
-# the atime, ctime, and mtime of the file are updated, and the ctime and mtime
-# of the parent directory are updated.
-#
-# #### File::EXCL
-#
-# Flag File::EXCL specifies that the stream should not already exist; If flags
-# File::CREAT and File::EXCL are both specified and the stream already exists,
-# an exception is raised.
-#
-# The check for the existence and creation of the file is performed as an atomic
-# operation.
-#
-# If both File::EXCL and File::CREAT are specified and the path names a symbolic
-# link, an exception is raised regardless of the contents of the symbolic link.
-#
-# If File::EXCL is specified and File::CREAT is not specified, the result is
-# undefined.
-#
-# ### POSIX File Constants
-#
-# Some file-access constants are defined only on POSIX-compliant systems; those
-# are:
-#
-# *   File::SYNC.
-# *   File::DSYNC.
-# *   File::RSYNC.
-# *   File::DIRECT.
-# *   File::NOATIME.
-# *   File::NOCTTY.
-# *   File::NOFOLLOW.
-# *   File::TMPFILE.
-#
-# #### File::SYNC, File::RSYNC, and File::DSYNC
-#
-# Flag File::SYNC, File::RSYNC, or File::DSYNC specifies synchronization of I/O
-# operations with the underlying file system.
-#
-# These flags are valid only for POSIX-compliant systems.
-#
-# *   File::SYNC specifies that all write operations (both data and metadata)
-#     are immediately to be flushed to the underlying storage device. This means
-#     that the data is written to the storage device, and the file's metadata
-#     (e.g., file size, timestamps, permissions) are also synchronized. This
-#     guarantees that data is safely stored on the storage medium before
-#     returning control to the calling program. This flag can have a significant
-#     impact on performance since it requires synchronous writes, which can be
-#     slower compared to asynchronous writes.
-#
-# *   File::RSYNC specifies that any read operations on the file will not return
-#     until all outstanding write operations (those that have been issued but
-#     not completed) are also synchronized. This is useful when you want to read
-#     the most up-to-date data, which may still be in the process of being
-#     written.
-#
-# *   File::DSYNC specifies that all *data* write operations are immediately to
-#     be flushed to the underlying storage device; this differs from File::SYNC,
-#     which requires that *metadata* also be synchronized.
-#
-# Note that the behavior of these flags may vary slightly depending on the
-# operating system and filesystem being used. Additionally, using these flags
-# can have an impact on performance due to the synchronous nature of the I/O
-# operations, so they should be used judiciously, especially in
-# performance-critical applications.
-#
-# #### File::NOCTTY
-#
-# Flag File::NOCTTY specifies that if the stream is a terminal device, that
-# device does not become the controlling terminal for the process.
-#
-# Defined only for POSIX-compliant systems.
-#
-# #### File::DIRECT
-#
-# Flag File::DIRECT requests that cache effects of the I/O to and from the
-# stream be minimized.
-#
-# Defined only for POSIX-compliant systems.
-#
-# #### File::NOATIME
-#
-# Flag File::NOATIME specifies that act of opening the stream should not modify
-# its access time (atime).
-#
-# Defined only for POSIX-compliant systems.
-#
-# #### File::NOFOLLOW
-#
-# Flag File::NOFOLLOW specifies that if path is a symbolic link, it should not
-# be followed.
-#
-# Defined only for POSIX-compliant systems.
-#
-# #### File::TMPFILE
-#
-# Flag File::TMPFILE specifies that the opened stream should be a new temporary
-# file.
-#
-# Defined only for POSIX-compliant systems.
-#
-# ### Other File-Access Constants
-#
-# #### File::NONBLOCK
-#
-# When possible, the file is opened in nonblocking mode. Neither the open
-# operation nor any subsequent I/O operations on the file will cause the calling
-# process to wait.
-#
-# #### File::BINARY
-#
-# Flag File::BINARY specifies that the stream is to be accessed in binary mode.
-#
-# #### File::SHARE_DELETE
-#
-# Flag File::SHARE_DELETE enables other processes to open the stream with delete
-# access.
-#
-# Windows only.
-#
-# If the stream is opened for (local) delete access without File::SHARE_DELETE,
-# and another process attempts to open it with delete access, the attempt fails
-# and the stream is not opened for that process.
-#
-# ## Locking
-#
-# Four file constants relate to stream locking; see File#flock:
-#
-# #### File::LOCK_EX
-#
-# Flag File::LOCK_EX specifies an exclusive lock; only one process a a time may
-# lock the stream.
-#
-# #### File::LOCK_NB
-#
-# Flag File::LOCK_NB specifies non-blocking locking for the stream; may be
-# combined with File::LOCK_EX or File::LOCK_SH.
-#
-# #### File::LOCK_SH
-#
-# Flag File::LOCK_SH specifies that multiple processes may lock the stream at
-# the same time.
-#
-# #### File::LOCK_UN
-#
-# Flag File::LOCK_UN specifies that the stream is not to be locked.
-#
-# ## Filename Globbing Constants (File::FNM_*)
-#
-# Filename-globbing constants may be used with optional argument `flags` in
-# calls to the following methods:
-#
-# *   Dir.glob.
-# *   File.fnmatch.
-# *   Pathname#fnmatch.
-# *   Pathname.glob.
-# *   Pathname#glob.
-#
-# The constants are:
-#
-# #### File::FNM_CASEFOLD
-#
-# Flag File::FNM_CASEFOLD makes patterns case insensitive for File.fnmatch (but
-# not Dir.glob).
-#
-# #### File::FNM_DOTMATCH
-#
-# Flag File::FNM_DOTMATCH makes the `'*'` pattern match a filename starting with
-# `'.'`.
-#
-# #### File::FNM_EXTGLOB
-#
-# Flag File::FNM_EXTGLOB enables pattern `'{*a*,*b*}'`, which matches pattern
-# '*a*' and pattern '*b*'; behaves like a [regexp union](rdoc-ref:Regexp.union)
-# (e.g., `'(?:*a*|*b*)'`):
-#
-#     pattern = '{LEGAL,BSDL}'
-#     Dir.glob(pattern)      # => ["LEGAL", "BSDL"]
-#     Pathname.glob(pattern) # => [#<Pathname:LEGAL>, #<Pathname:BSDL>]
-#     pathname.glob(pattern) # => [#<Pathname:LEGAL>, #<Pathname:BSDL>]
-#
-# #### File::FNM_NOESCAPE
-#
-# Flag File::FNM_NOESCAPE disables `'\'` escaping.
-#
-# #### File::FNM_PATHNAME
-#
-# Flag File::FNM_PATHNAME specifies that patterns `'*'` and `'?'` do not match
-# the directory separator (the value of constant File::SEPARATOR).
-#
-# #### File::FNM_SHORTNAME
-#
-# Flag File::FNM_SHORTNAME allows patterns to match short names if they exist.
-#
-# Windows only.
-#
-# #### File::FNM_SYSCASE
-#
-# Flag File::FNM_SYSCASE specifies that case sensitivity is the same as in the
-# underlying operating system; effective for File.fnmatch, but not Dir.glob.
-#
-# ## Other Constants
-#
-# #### File::NULL
-#
-# Flag File::NULL contains the string value of the null device:
-#
-# *   On a Unix-like OS, `'/dev/null'`.
-# *   On Windows, `'NUL'`.
-#
-module File::Constants
-end
-
-# <!-- rdoc-file=file.c -->
-# [File::APPEND](rdoc-ref:File::Constants@File-3A-3AAPPEND)
-#
-File::Constants::APPEND: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::BINARY](rdoc-ref:File::Constants@File-3A-3ABINARY)
-#
-File::Constants::BINARY: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::CREAT](rdoc-ref:File::Constants@File-3A-3ACREAT)
-#
-File::Constants::CREAT: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::DIRECT](rdoc-ref:File::Constants@File-3A-3ADIRECT)
-#
-File::Constants::DIRECT: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::DSYNC](rdoc-ref:File::Constants@File-3A-3ASYNC-2C+File-3A-3ARSYNC-2C+an
-# d+File-3A-3ADSYNC)
-#
-File::Constants::DSYNC: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::EXCL](rdoc-ref:File::Constants@File-3A-3AEXCL)
-#
-File::Constants::EXCL: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_CASEFOLD](rdoc-ref:File::Constants@File-3A-3AFNM_CASEFOLD)
-#
-File::Constants::FNM_CASEFOLD: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_DOTMATCH](rdoc-ref:File::Constants@File-3A-3AFNM_DOTMATCH)
-#
-File::Constants::FNM_DOTMATCH: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_EXTGLOB](rdoc-ref:File::Constants@File-3A-3AFNM_EXTGLOB)
-#
-File::Constants::FNM_EXTGLOB: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_NOESCAPE](rdoc-ref:File::Constants@File-3A-3AFNM_NOESCAPE)
-#
-File::Constants::FNM_NOESCAPE: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_PATHNAME](rdoc-ref:File::Constants@File-3A-3AFNM_PATHNAME)
-#
-File::Constants::FNM_PATHNAME: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_SHORTNAME](rdoc-ref:File::Constants@File-3A-3AFNM_SHORTNAME)
-#
-File::Constants::FNM_SHORTNAME: Integer
-
-# <!-- rdoc-file=dir.c -->
-# [File::FNM_SYSCASE](rdoc-ref:File::Constants@File-3A-3AFNM_SYSCASE)
-#
-File::Constants::FNM_SYSCASE: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::LOCK_EX](rdoc-ref:File::Constants@File-3A-3ALOCK_EX)
-#
-File::Constants::LOCK_EX: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::LOCK_NB](rdoc-ref:File::Constants@File-3A-3ALOCK_NB)
-#
-File::Constants::LOCK_NB: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::LOCK_SH](rdoc-ref:File::Constants@File-3A-3ALOCK_SH)
-#
-File::Constants::LOCK_SH: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::LOCK_UN](rdoc-ref:File::Constants@File-3A-3ALOCK_UN)
-#
-File::Constants::LOCK_UN: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::NOATIME](rdoc-ref:File::Constants@File-3A-3ANOATIME)
-#
-File::Constants::NOATIME: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::NOCTTY](rdoc-ref:File::Constants@File-3A-3ANOCTTY)
-#
-File::Constants::NOCTTY: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::NOFOLLOW](rdoc-ref:File::Constants@File-3A-3ANOFOLLOW)
-#
-File::Constants::NOFOLLOW: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::NONBLOCK](rdoc-ref:File::Constants@File-3A-3ANONBLOCK)
-#
-File::Constants::NONBLOCK: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::NULL](rdoc-ref:File::Constants@File-3A-3ANULL)
-#
-File::Constants::NULL: String
-
-# <!-- rdoc-file=file.c -->
-# [File::RDONLY](rdoc-ref:File::Constants@File-3A-3ARDONLY)
-#
-File::Constants::RDONLY: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::RDWR](rdoc-ref:File::Constants@File-3A-3ARDWR)
-#
-File::Constants::RDWR: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::RSYNC](rdoc-ref:File::Constants@File-3A-3ASYNC-2C+File-3A-3ARSYNC-2C+an
-# d+File-3A-3ADSYNC)
-#
-File::Constants::RSYNC: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::SHARE_DELETE](rdoc-ref:File::Constants@File-3A-3ASHARE_DELETE)
-#
-File::Constants::SHARE_DELETE: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::SYNC](rdoc-ref:File::Constants@File-3A-3ASYNC-2C+File-3A-3ARSYNC-2C+and
-# +File-3A-3ADSYNC)
-#
-File::Constants::SYNC: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::TMPFILE](rdoc-ref:File::Constants@File-3A-3ATMPFILE)
-#
-File::Constants::TMPFILE: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::TRUNC](rdoc-ref:File::Constants@File-3A-3ATRUNC)
-#
-File::Constants::TRUNC: Integer
-
-# <!-- rdoc-file=file.c -->
-# [File::WRONLY](rdoc-ref:File::Constants@File-3A-3AWRONLY)
-#
-File::Constants::WRONLY: Integer
-
-# <!-- rdoc-file=file.c -->
-# Objects of class File::Stat encapsulate common status information for File
-# objects. The information is recorded at the moment the File::Stat object is
-# created; changes made to the file after that point will not be reflected.
-# File::Stat objects are returned by IO#stat, File::stat, File#lstat, and
-# File::lstat. Many of these methods return platform-specific values, and not
-# all values are meaningful on all systems. See also Kernel#test.
-#
-class File::Stat < Object
-  include Comparable
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - new(p1)
-  # -->
-  # File::Stat.new(file_name)  -> stat
-  #
-  # Create a File::Stat object for the given file name (raising an exception if
-  # the file doesn't exist).
-  #
-  def initialize: (String file) -> void
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat <=> other_stat    -> -1, 0, 1, nil
-  # -->
-  # Compares File::Stat objects by comparing their respective modification times.
-  #
-  # `nil` is returned if `other_stat` is not a File::Stat object
-  #
-  #     f1 = File.new("f1", "w")
-  #     sleep 1
-  #     f2 = File.new("f2", "w")
-  #     f1.stat <=> f2.stat   #=> -1
-  #
-  def <=>: (File::Stat other) -> Integer
-         | (untyped) -> nil
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.atime   -> time
-  # -->
-  # Returns the last access time for this file as an object of class Time.
-  #
-  #     File.stat("testfile").atime   #=> Wed Dec 31 18:00:00 CST 1969
-  #
-  def atime: () -> Time
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.birthtime  ->  time
-  # -->
-  # Returns the birth time for *stat*.
-  #
-  # If the platform doesn't have birthtime, raises NotImplementedError.
-  #
-  #     File.write("testfile", "foo")
-  #     sleep 10
-  #     File.write("testfile", "bar")
-  #     sleep 10
-  #     File.chmod(0644, "testfile")
-  #     sleep 10
-  #     File.read("testfile")
-  #     File.stat("testfile").birthtime   #=> 2014-02-24 11:19:17 +0900
-  #     File.stat("testfile").mtime       #=> 2014-02-24 11:19:27 +0900
-  #     File.stat("testfile").ctime       #=> 2014-02-24 11:19:37 +0900
-  #     File.stat("testfile").atime       #=> 2014-02-24 11:19:47 +0900
-  #
-  def birthtime: () -> Time
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.blksize   -> integer or nil
-  # -->
-  # Returns the native file system's block size. Will return `nil` on platforms
-  # that don't support this information.
-  #
-  #     File.stat("testfile").blksize   #=> 4096
-  #
-  def blksize: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.blockdev?   -> true or false
-  # -->
-  # Returns `true` if the file is a block device, `false` if it isn't or if the
-  # operating system doesn't support this feature.
-  #
-  #     File.stat("testfile").blockdev?    #=> false
-  #     File.stat("/dev/hda1").blockdev?   #=> true
-  #
-  def blockdev?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.blocks    -> integer or nil
-  # -->
-  # Returns the number of native file system blocks allocated for this file, or
-  # `nil` if the operating system doesn't support this feature.
-  #
-  #     File.stat("testfile").blocks   #=> 2
-  #
-  def blocks: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.chardev?    -> true or false
-  # -->
-  # Returns `true` if the file is a character device, `false` if it isn't or if
-  # the operating system doesn't support this feature.
-  #
-  #     File.stat("/dev/tty").chardev?   #=> true
-  #
-  def chardev?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.ctime  ->  time
-  # -->
-  # Returns the change time for *stat* (that is, the time directory information
-  # about the file was changed, not the file itself).
-  #
-  # Note that on Windows (NTFS), returns creation time (birth time).
-  #
-  #     File.stat("testfile").ctime   #=> Wed Apr 09 08:53:14 CDT 2003
-  #
-  def ctime: () -> Time
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.dev    -> integer
-  # -->
-  # Returns an integer representing the device on which *stat* resides.
-  #
-  #     File.stat("testfile").dev   #=> 774
-  #
-  def dev: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.dev_major   -> integer
-  # -->
-  # Returns the major part of `File_Stat#dev` or `nil`.
-  #
-  #     File.stat("/dev/fd1").dev_major   #=> 2
-  #     File.stat("/dev/tty").dev_major   #=> 5
-  #
-  def dev_major: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.dev_minor   -> integer
-  # -->
-  # Returns the minor part of `File_Stat#dev` or `nil`.
-  #
-  #     File.stat("/dev/fd1").dev_minor   #=> 1
-  #     File.stat("/dev/tty").dev_minor   #=> 0
-  #
-  def dev_minor: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.directory?   -> true or false
-  # -->
-  # Returns `true` if *stat* is a directory, `false` otherwise.
-  #
-  #     File.stat("testfile").directory?   #=> false
-  #     File.stat(".").directory?          #=> true
-  #
-  def directory?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.executable?    -> true or false
-  # -->
-  # Returns `true` if *stat* is executable or if the operating system doesn't
-  # distinguish executable files from nonexecutable files. The tests are made
-  # using the effective owner of the process.
-  #
-  #     File.stat("testfile").executable?   #=> false
-  #
-  def executable?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.executable_real?    -> true or false
-  # -->
-  # Same as `executable?`, but tests using the real owner of the process.
-  #
-  def executable_real?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.file?    -> true or false
-  # -->
-  # Returns `true` if *stat* is a regular file (not a device file, pipe, socket,
-  # etc.).
-  #
-  #     File.stat("testfile").file?   #=> true
-  #
-  def file?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.ftype   -> string
-  # -->
-  # Identifies the type of *stat*. The return string is one of: ```file`'',
-  # ```directory`'', ```characterSpecial`'', ```blockSpecial`'', ```fifo`'',
-  # ```link`'', ```socket`'', or ```unknown`''.
-  #
-  #     File.stat("/dev/tty").ftype   #=> "characterSpecial"
-  #
-  def ftype: () -> String
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.gid   -> integer
-  # -->
-  # Returns the numeric group id of the owner of *stat*.
-  #
-  #     File.stat("testfile").gid   #=> 500
-  #
-  def gid: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.grpowned?   -> true or false
-  # -->
-  # Returns true if the effective group id of the process is the same as the group
-  # id of *stat*. On Windows, returns `false`.
-  #
-  #     File.stat("testfile").grpowned?      #=> true
-  #     File.stat("/etc/passwd").grpowned?   #=> false
-  #
-  def grpowned?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.ino   -> integer
-  # -->
-  # Returns the inode number for *stat*.
-  #
-  #     File.stat("testfile").ino   #=> 1083669
-  #
-  def ino: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.inspect  ->  string
-  # -->
-  # Produce a nicely formatted description of *stat*.
-  #
-  #     File.stat("/etc/passwd").inspect
-  #        #=> "#<File::Stat dev=0xe000005, ino=1078078, mode=0100644,
-  #        #    nlink=1, uid=0, gid=0, rdev=0x0, size=1374, blksize=4096,
-  #        #    blocks=8, atime=Wed Dec 10 10:16:12 CST 2003,
-  #        #    mtime=Fri Sep 12 15:41:41 CDT 2003,
-  #        #    ctime=Mon Oct 27 11:20:27 CST 2003,
-  #        #    birthtime=Mon Aug 04 08:13:49 CDT 2003>"
-  #
-  def inspect: () -> String
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.mode   -> integer
-  # -->
-  # Returns an integer representing the permission bits of *stat*. The meaning of
-  # the bits is platform dependent; on Unix systems, see `stat(2)`.
-  #
-  #     File.chmod(0644, "testfile")   #=> 1
-  #     s = File.stat("testfile")
-  #     sprintf("%o", s.mode)          #=> "100644"
-  #
-  def mode: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.mtime  ->  time
-  # -->
-  # Returns the modification time of *stat*.
-  #
-  #     File.stat("testfile").mtime   #=> Wed Apr 09 08:53:14 CDT 2003
-  #
-  def mtime: () -> Time
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.nlink   -> integer
-  # -->
-  # Returns the number of hard links to *stat*.
-  #
-  #     File.stat("testfile").nlink             #=> 1
-  #     File.link("testfile", "testfile.bak")   #=> 0
-  #     File.stat("testfile").nlink             #=> 2
-  #
-  def nlink: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.owned?    -> true or false
-  # -->
-  # Returns `true` if the effective user id of the process is the same as the
-  # owner of *stat*.
-  #
-  #     File.stat("testfile").owned?      #=> true
-  #     File.stat("/etc/passwd").owned?   #=> false
-  #
-  def owned?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.pipe?    -> true or false
-  # -->
-  # Returns `true` if the operating system supports pipes and *stat* is a pipe;
-  # `false` otherwise.
-  #
-  def pipe?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.rdev   ->  integer or nil
-  # -->
-  # Returns an integer representing the device type on which *stat* resides.
-  # Returns `nil` if the operating system doesn't support this feature.
-  #
-  #     File.stat("/dev/fd1").rdev   #=> 513
-  #     File.stat("/dev/tty").rdev   #=> 1280
-  #
-  def rdev: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.rdev_major   -> integer
-  # -->
-  # Returns the major part of `File_Stat#rdev` or `nil`.
-  #
-  #     File.stat("/dev/fd1").rdev_major   #=> 2
-  #     File.stat("/dev/tty").rdev_major   #=> 5
-  #
-  def rdev_major: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.rdev_minor   -> integer
-  # -->
-  # Returns the minor part of `File_Stat#rdev` or `nil`.
-  #
-  #     File.stat("/dev/fd1").rdev_minor   #=> 1
-  #     File.stat("/dev/tty").rdev_minor   #=> 0
-  #
-  def rdev_minor: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.readable?    -> true or false
-  # -->
-  # Returns `true` if *stat* is readable by the effective user id of this process.
-  #
-  #     File.stat("testfile").readable?   #=> true
-  #
-  def readable?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.readable_real?  ->  true or false
-  # -->
-  # Returns `true` if *stat* is readable by the real user id of this process.
-  #
-  #     File.stat("testfile").readable_real?   #=> true
-  #
-  def readable_real?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.setgid?   -> true or false
-  # -->
-  # Returns `true` if *stat* has the set-group-id permission bit set, `false` if
-  # it doesn't or if the operating system doesn't support this feature.
-  #
-  #     File.stat("/usr/sbin/lpc").setgid?   #=> true
-  #
-  def setgid?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.setuid?    -> true or false
-  # -->
-  # Returns `true` if *stat* has the set-user-id permission bit set, `false` if it
-  # doesn't or if the operating system doesn't support this feature.
-  #
-  #     File.stat("/bin/su").setuid?   #=> true
-  #
-  def setuid?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.size    -> integer
-  # -->
-  # Returns the size of *stat* in bytes.
-  #
-  #     File.stat("testfile").size   #=> 66
-  #
-  def size: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.size?    -> Integer or nil
-  # -->
-  # Returns `nil` if *stat* is a zero-length file, the size of the file otherwise.
-  #
-  #     File.stat("testfile").size?   #=> 66
-  #     File.stat(File::NULL).size?   #=> nil
-  #
-  def size?: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.socket?    -> true or false
-  # -->
-  # Returns `true` if *stat* is a socket, `false` if it isn't or if the operating
-  # system doesn't support this feature.
-  #
-  #     File.stat("testfile").socket?   #=> false
-  #
-  def socket?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.sticky?    -> true or false
-  # -->
-  # Returns `true` if *stat* has its sticky bit set, `false` if it doesn't or if
-  # the operating system doesn't support this feature.
-  #
-  #     File.stat("testfile").sticky?   #=> false
-  #
-  def sticky?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.symlink?    -> true or false
-  # -->
-  # Returns `true` if *stat* is a symbolic link, `false` if it isn't or if the
-  # operating system doesn't support this feature. As File::stat automatically
-  # follows symbolic links, #symlink? will always be `false` for an object
-  # returned by File::stat.
-  #
-  #     File.symlink("testfile", "alink")   #=> 0
-  #     File.stat("alink").symlink?         #=> false
-  #     File.lstat("alink").symlink?        #=> true
-  #
-  def symlink?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.uid    -> integer
-  # -->
-  # Returns the numeric user id of the owner of *stat*.
-  #
-  #     File.stat("testfile").uid   #=> 501
-  #
-  def uid: () -> Integer
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.world_readable? -> integer or nil
-  # -->
-  # If *stat* is readable by others, returns an integer representing the file
-  # permission bits of *stat*. Returns `nil` otherwise. The meaning of the bits is
-  # platform dependent; on Unix systems, see `stat(2)`.
-  #
-  #     m = File.stat("/etc/passwd").world_readable?  #=> 420
-  #     sprintf("%o", m)                              #=> "644"
-  #
-  def world_readable?: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.world_writable?  ->  integer or nil
-  # -->
-  # If *stat* is writable by others, returns an integer representing the file
-  # permission bits of *stat*. Returns `nil` otherwise. The meaning of the bits is
-  # platform dependent; on Unix systems, see `stat(2)`.
-  #
-  #     m = File.stat("/tmp").world_writable?         #=> 511
-  #     sprintf("%o", m)                              #=> "777"
-  #
-  def world_writable?: () -> Integer?
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.writable?  ->  true or false
-  # -->
-  # Returns `true` if *stat* is writable by the effective user id of this process.
-  #
-  #     File.stat("testfile").writable?   #=> true
-  #
-  def writable?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.writable_real?  ->  true or false
-  # -->
-  # Returns `true` if *stat* is writable by the real user id of this process.
-  #
-  #     File.stat("testfile").writable_real?   #=> true
-  #
-  def writable_real?: () -> bool
-
-  # <!--
-  #   rdoc-file=file.c
-  #   - stat.zero?    -> true or false
-  # -->
-  # Returns `true` if *stat* is a zero-length file; `false` otherwise.
-  #
-  #     File.stat("testfile").zero?   #=> false
-  #
-  def zero?: () -> bool
-end