          // If we're checking data flow, then two types are the same if they're
          // both unknown.
          return thisUnknown && thatUnknown;
-@@ -544,17 +539,17 @@ public abstract class JSType implements Serializable {
+@@ -544,17 +542,17 @@ public abstract class JSType implements Serializable {
  
      if (isUnionType() && that.isUnionType()) {
        return this.toMaybeUnionType().checkUnionEquivalenceHelper(

     }
 
     ParameterizedType thisParamType = toMaybeParameterizedType();
@@ -564,14 +559,14 @@ public abstract class JSType implements Serializable {
       boolean paramsMatch = false;
       if (thisParamType != null && thatParamType != null) {
         paramsMatch = thisParamType.getParameterType().checkEquivalenceHelper(

       }
 
       JSType thisRootType = thisParamType == null ?
@@ -579,7 +577,7 @@ public abstract class JSType implements Serializable {
       JSType thatRootType = thatParamType == null ?
           that : thatParamType.getReferencedTypeInternal();
       return paramsMatch &&
