Searched refs:DetailRecord (Results 1 – 1 of 1) sorted by relevance
476 for (const auto &DetailRecord : Satisfaction) { in addConstraintSatisfaction() local477 auto *E = DetailRecord.dyn_cast<Expr *>(); in addConstraintSatisfaction()482 auto *Diag = DetailRecord.get<std::pair<SourceLocation, StringRef> *>(); in addConstraintSatisfaction()