--- a/src/Pure/Thy/bibtex.scala Fri Apr 08 15:56:14 2022 +0200
+++ b/src/Pure/Thy/bibtex.scala Fri Apr 08 16:26:48 2022 +0200
@@ -599,7 +599,8 @@
val chunks = new mutable.ListBuffer[Chunk]
var ctxt = context
while (!in.atEnd) {
- Parsers.parse(Parsers.chunk_line(ctxt), in) match {
+ val result = Parsers.parse(Parsers.chunk_line(ctxt), in)
+ (result : @unchecked) match {
case Parsers.Success((x, c), rest) => chunks += x; ctxt = c; in = rest
case Parsers.NoSuccess(_, rest) =>
error("Unepected failure to parse input:\n" + rest.source.toString)