asResolutionException

fun Exception.asResolutionException(context: ExecutionContext): ResolutionException

This exception, raised by the code of a primitive, as a resolution exception (arg2p): a Kotlin exception becomes a system_error, which catch/3 can handle, rather than crashing the resolution