This commit is contained in:
June 2022-12-03 06:22:05 +01:00 committed by GitHub
parent 7da34e9174
commit 503d5db16c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -113,7 +113,11 @@ class CastingHarness private constructor(
next.evaluate(continuation.next, world, this)
} catch (mishap: Mishap) {
val pattern = getPatternForFrame(next)
val operator = getOperatorForFrame(next, world)
val operator = try {
getOperatorForFrame(next, world)
} catch (e: Throwable) {
null
}
CastResult(
continuation,
null,