Follow up to PR #296 to use widen (#304)

typelevel · Nov 12, 2021 · af1bc74 · af1bc74
1 parent 22b34f1
commit af1bc74
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/core/shared/src/main/scala/cats/parse/Parser.scala b/core/shared/src/main/scala/cats/parse/Parser.scala
@@ -1648,10 +1648,8 @@ object Parser {
             // we can allocate the returned string once here
             val minStr = min.toChar.toString
             Impl.Map(ci, Impl.ConstFn(minStr))
-          case f @ (Impl.Fail() | Impl.FailWith(_)) =>
-            // these are really Parser[Nothing]
-            // but scala can't see that, so we cast
-            f.asInstanceOf[Parser[String]]
+          case f @ Impl.Fail() => f.widen
+          case f @ Impl.FailWith(_) => f.widen
           case notStr => Impl.StringP(notStr)
         }
     }