Lines Matching full:requirement

1143          && "Diagnose() can only be used on an unsatisfied requirement");
1146       llvm_unreachable("Diagnosing a dependent requirement");
1208          && "Diagnose() can only be used on an unsatisfied requirement");
1211     llvm_unreachable("Diagnosing a dependent requirement");
1333     for (concepts::Requirement *Req : RE->getRequirements())
1891     Requirement(IsSimple ? RK_Simple : RK_Compound, Status == SS_Dependent,
1899          "Simple requirement must not have a return type requirement or a "
1908     Requirement(IsSimple ? RK_Simple : RK_Compound, Req.isDependent(),
1913          "Simple requirement must not have a return type requirement or a "
1935     Requirement(RK_Type, T->getType()->isInstantiationDependentType(),