Replace deterministic untyped return types with concrete types

Several methods were typed `-> untyped` even though their return value
is determined by the implementation. Give them concrete types:

- `StringIO#putc`, `Zlib::GzipWriter#putc` -> `Numeric | String` (returns the argument)
- `Zlib::GzipFile#sync=` -> `boolish` (setter returns the argument)
- `MonitorMixin::ConditionVariable#wait_for_cond` / `#wait` -> `bool`
- `MonitorMixin::ConditionVariable#wait_until` / `#wait_while` -> `nil` (loop expression)
- `ERB#run` -> `nil`, `ERB#initialize` -> `void`
- `ERB#def_method`, `ERB::DefMethod.def_erb_method` -> `Symbol`

Author: zonuexe

stdlib/erb/0/erb.rbs

@@ -619,7 +619,7 @@ class ERB
   # It's good practice to choose a variable name that begins with an underscore:
   # <code>'_'</code>.
   #
-  def initialize: (String, ?eoutvar: String, ?trim_mode: Integer | String | NilClass) -> untyped
+  def initialize: (String, ?eoutvar: String, ?trim_mode: Integer | String | NilClass) -> void
 
   # <!-- rdoc-file=lib/erb.rb -->
   # Returns the Ruby code that, when executed, generates the result;
@@ -702,7 +702,7 @@ class ERB
   # Like #result, but prints the result string (instead of returning it);
   # returns `nil`.
   #
-  def run: (?Binding) -> untyped
+  def run: (?Binding) -> nil
 
   # <!--
   #   rdoc-file=lib/erb.rb
@@ -746,7 +746,7 @@ class ERB
   # class MyClass; include MyModule; end
   # MyClass.new.render('foo', 123)                      # => "foo 123"
   #
-  def def_method: (Module, String, ?String) -> untyped
+  def def_method: (Module, String, ?String) -> Symbol
 
   # <!--
   #   rdoc-file=lib/erb.rb
@@ -913,7 +913,7 @@ class ERB
     # define *methodname* as instance method of current module, using ERB object or
     # eRuby file
     #
-    def self.def_erb_method: (String methodname, (String | ERB) erb_or_fname) -> untyped
+    def self.def_erb_method: (String methodname, (String | ERB) erb_or_fname) -> Symbol
   end
 
   # <!-- rdoc-file=lib/erb/util.rb -->

stdlib/monitor/0/monitor.rbs

@@ -111,7 +111,7 @@ class Monitor
   #   - wait_for_cond(p1, p2)
   # -->
   #
-  def wait_for_cond: (::MonitorMixin::ConditionVariable, Numeric? timeout) -> untyped
+  def wait_for_cond: (::MonitorMixin::ConditionVariable, Numeric? timeout) -> bool
 end
 
 # <!-- rdoc-file=ext/monitor/lib/monitor.rb -->
@@ -334,23 +334,23 @@ class MonitorMixin::ConditionVariable
   # If `timeout` is given, this method returns after `timeout` seconds passed,
   # even if no other thread doesn't signal.
   #
-  def wait: (?Numeric? timeout) -> untyped
+  def wait: (?Numeric? timeout) -> bool
 
   # <!--
   #   rdoc-file=ext/monitor/lib/monitor.rb
   #   - wait_until()
   # -->
   # Calls wait repeatedly until the given block yields a truthy value.
   #
-  def wait_until: () { () -> boolish } -> untyped
+  def wait_until: () { () -> boolish } -> nil
 
   # <!--
   #   rdoc-file=ext/monitor/lib/monitor.rb
   #   - wait_while()
   # -->
   # Calls wait repeatedly while the given block yields a truthy value.
   #
-  def wait_while: () { () -> boolish } -> untyped
+  def wait_while: () { () -> boolish } -> nil
 
   private
 

stdlib/stringio/0/stringio.rbs

@@ -1271,7 +1271,7 @@ class StringIO
   # -->
   # See IO#putc.
   #
-  def putc: (Numeric | String arg0) -> untyped
+  def putc: (Numeric | String arg0) -> (Numeric | String)
 
   def puts: (*untyped arg0) -> nil
 

stdlib/zlib/0/gzip_file.rbs

@@ -143,7 +143,7 @@ module Zlib
     # `flush` method.  While `sync` mode is `true`, the compression ratio decreases
     # sharply.
     #
-    def sync=: (boolish) -> untyped
+    def sync=: (boolish) -> boolish
 
     # <!--
     #   rdoc-file=ext/zlib/zlib.c

stdlib/zlib/0/gzip_writer.rbs

@@ -125,7 +125,7 @@ module Zlib
     # -->
     # Same as IO.
     #
-    def putc: (Numeric | String arg0) -> untyped
+    def putc: (Numeric | String arg0) -> (Numeric | String)
 
     # <!--
     #   rdoc-file=ext/zlib/zlib.c