AST: Simplify and clarify AvailabilityConstraint.

Remove some unnecessary complexity from `AvailabilityConstraint`, rename some
of its members, and add more complete documentation.

NFC.
This commit is contained in:
Allan Shortlidge
2025-07-25 15:15:01 -07:00
parent 8cb20c3f4e
commit 0fa2ca38dc
9 changed files with 173 additions and 136 deletions

View File

@@ -2489,7 +2489,7 @@ private:
auto constraint = getUnsatisfiedAvailabilityConstraint(
nominal, context.getAsDeclContext(), loc);
if (constraint && constraint->isPotentiallyAvailable()) {
if (constraint && !constraint->isUnavailable()) {
auto &ctx = getASTContext();
ctx.Diags.diagnose(loc,
diag::result_builder_missing_limited_availability,