changeset 71781 | 3fd54f7f52b0 |
parent 71777 | 3875815f5967 |
child 73024 | 337e1b135d2f |
--- a/src/Pure/term.scala Wed Apr 22 13:45:02 2020 +0200 +++ b/src/Pure/term.scala Wed Apr 22 17:52:14 2020 +0200 @@ -195,7 +195,7 @@ lookup(x) match { case Some(y) => y case None => - x match { + (x: @unchecked) match { case PBound(_) => store(x) case Abst(name, typ, body) => store(Abst(cache_string(name), cache_typ(typ), cache_proof(body)))