At least unsafe ivy resolution manifests as an immediate failure and not a deadlock