core/file.rbs in rbs-1.0.0 vs core/file.rbs in rbs-1.0.1

@@ -531,9 +531,10 @@
   #
   def self.mtime: (string | _ToPath | IO file_name) -> Time
 
   # Alias of `File.new`.
   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
 
   # Returns `true` if the named file exists and the effective used id of the
   # calling process is the owner of the file.
   #
   # *file_name* can be an IO object.