# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1426897586 25200
# Node ID 426e45c7577199b55ce2919f0fd1f3bb012018a5
# Parent  b47d7ebcfa4eeb54ce3cecf72c2fa99416310f39
Properly accumulate assumptions

diff -r b47d7ebcfa4e -r 426e45c75771 graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectTypeImpl.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectTypeImpl.java	Fri Mar 20 17:26:20 2015 -0700
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotResolvedObjectTypeImpl.java	Fri Mar 20 17:26:26 2015 -0700
@@ -160,8 +160,9 @@
                 if (leafConcreteSubtype != null) {
                     assert !leafConcreteSubtype.getResult().equals(implementor);
                     AssumptionResult<ResolvedJavaType> newResult = new AssumptionResult<>(leafConcreteSubtype.getResult(), new ConcreteSubtype(this, implementor));
+                    // Accumulate leaf assumptions and return the combined result.
                     newResult.add(leafConcreteSubtype);
-                    return leafConcreteSubtype;
+                    return newResult;
                 }
                 return null;
             }