Searched refs:isImpliedBy (Results 1 – 1 of 1) sorted by relevance
255 std::optional<bool> isImpliedBy(const ConstraintSystem &CS) const;786 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy() function in ConstraintTy1381 if (auto ImpliedCondition = R.isImpliedBy(CSToUse)) { in checkCondition()