Explicitly upcast intermediate result to aid program elaboration

See scala/scala3#18130 for context. We add an explicit type ascription to help the compiler infer contextual arguments.
scalacenter · Jul 5, 2023 · 7577c29 · 7577c29
1 parent 3448f28
commit 7577c29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/weaponregex/parser/ParserJVM.scala b/core/src/main/scala/weaponregex/parser/ParserJVM.scala
@@ -89,7 +89,7 @@ class ParserJVM private[parser] (pattern: String) extends Parser(pattern) {
     *   `"[abc]"`
     */
   override def charClass[A: P]: P[CharacterClass] =
-    Indexed("[" ~ "^".!.? ~ (charClassIntersection.rep(exactly = 1) | classItem.rep(minCharClassItem)) ~ "]")
+    Indexed("[" ~ "^".!.? ~ ((charClassIntersection.rep(exactly = 1): P[Seq[RegexTree]]) | classItem.rep(minCharClassItem)) ~ "]")
       .map { case (loc, (hat, nodes)) => CharacterClass(nodes, loc, isPositive = hat.isEmpty) }
 
   /** Intermediate parsing rule for special construct tokens which can parse either `namedGroup`, `nonCapturingGroup`,