Lines Matching defs:rewriteQuantifiers
1055 Type aHigh = rewriteQuantifiers(a, HIGH, DONT_REWRITE_TYPEVARS);
1056 Type aLow = rewriteQuantifiers(a, LOW, DONT_REWRITE_TYPEVARS);
1057 Type bHigh = rewriteQuantifiers(b, HIGH, DONT_REWRITE_TYPEVARS);
1058 Type bLow = rewriteQuantifiers(b, LOW, DONT_REWRITE_TYPEVARS);
1063 aHigh = rewriteQuantifiers(a, HIGH, REWRITE_TYPEVARS);
1064 aLow = rewriteQuantifiers(a, LOW, REWRITE_TYPEVARS);
1065 bHigh = rewriteQuantifiers(b, HIGH, REWRITE_TYPEVARS);
1066 bLow = rewriteQuantifiers(b, LOW, REWRITE_TYPEVARS);
1293 t = rewriteQuantifiers(t, true, true);
3550 private Type rewriteQuantifiers(Type t, boolean high, boolean rewriteTypeVars) {