fixed files form Closure #46

Spirals-Team · Mar 7, 2017 · 885b201 · 885b201
1 parent 98f7a86
commit 885b201
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/projects/Closure/46/com/google/javascript/rhino/jstype/RecordType.java b/projects/Closure/46/com/google/javascript/rhino/jstype/RecordType.java
@@ -137,22 +137,6 @@ boolean defineProperty(String propertyName, JSType type,
         propertyNode);
   }
 
-  @Override
-  public JSType getLeastSupertype(JSType that) {
-    if (!that.isRecordType()) {
-      return super.getLeastSupertype(that);
-    }
-    RecordTypeBuilder builder = new RecordTypeBuilder(registry);
-    for (String property : properties.keySet()) {
-      if (that.toMaybeRecordType().hasProperty(property) &&
-          that.toMaybeRecordType().getPropertyType(property).isEquivalentTo(
-              getPropertyType(property))) {
-        builder.addProperty(property, getPropertyType(property),
-            getPropertyNode(property));
-      }
-    }
-    return builder.build();
-  }
   JSType getGreatestSubtypeHelper(JSType that) {
     if (that.isRecordType()) {
       RecordType thatRecord = that.toMaybeRecordType();