The return type should be bot

Because the `#each` call never returns.
ruby · Sep 28, 2023 · b50f6fa · b50f6fa
1 parent 3df06b7
commit b50f6fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/enumerator.rbs b/core/enumerator.rbs
@@ -158,8 +158,8 @@ class Enumerator[unchecked out Elem, out Return] < Object
   #     Enumerator.produce { scanner.scan(PATTERN) }.slice_after { scanner.eos? }.first
   #     # => ["7", "+", "38", "/", "6"]
   #
-  def self.produce: [T] () { (T? prev) -> T } -> Enumerator[T, nil]
-                  | [T] (T initial) { (T prev) -> T } -> Enumerator[T, nil]
+  def self.produce: [T] () { (T? prev) -> T } -> Enumerator[T, bot]
+                  | [T] (T initial) { (T prev) -> T } -> Enumerator[T, bot]
 
   # <!--
   #   rdoc-file=enumerator.c