Lines Matching full:tautologies
632 // For member function pointers, the tautologies are more complex.639 // The inequality tautologies have exactly the same structure, except