pub fn isolation_abort_error<'tcx>(name: &str) -> InterpResult<'tcx>