diff --git a/projects/Closure/46/com/google/javascript/rhino/jstype/RecordType.java b/projects/Closure/46/com/google/javascript/rhino/jstype/RecordType.java index 7289803..b418dbd 100755 --- 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();