================ @@ -588,6 +588,9 @@ static bool CheckConstraintSatisfaction( return true; for (const AssociatedConstraint &AC : AssociatedConstraints) { + if (AC.isNull()) + return true; ---------------- zyn0217 wrote: Can we continue? https://github.com/llvm/llvm-project/pull/150186