Member predicate VarRefinementContext::appliesTo
Holds if refinement expression cand might be analyzed in this context.
predicate appliesTo(RefinementCandidate cand)Holds if refinement expression cand might be analyzed in this context.
predicate appliesTo(RefinementCandidate cand)