}
private void testGetTypesUnderInequality(
JSType t1, JSType t2, JSType t1Eq, JSType t2Eq) {
// creating the pairs
TypePair p12 = t1.getTypesUnderInequality(t2);
TypePair p21 = t2.getTypesUnderInequality(t1);
// t1Eq
assertTypeEquals(t1Eq, p12.typeA);
assertTypeEquals(t1Eq, p21.typeB);