Searched refs:OtherIsBooleanDespiteType (Results 1 – 1 of 1) sorted by relevance
10137 bool OtherIsBooleanDespiteType = in CheckTautologicalComparison() local10139 if (OtherIsBooleanDespiteType) in CheckTautologicalComparison()10184 << OtherT << OtherIsBooleanDespiteType << *Result in CheckTautologicalComparison()