From 885b20111213592fe4603728bc96f22e6b8f5464 Mon Sep 17 00:00:00 2001
From: tdurieux <durieuxthomas@hotmail.com>
Date: Tue, 7 Mar 2017 13:22:41 +0100
Subject: [PATCH] fixed files form Closure #46

---
 .../javascript/rhino/jstype/RecordType.java      | 16 ----------------
 1 file changed, 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
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();