| Index: compiler/java/com/google/dart/compiler/type/Types.java
|
| diff --git a/compiler/java/com/google/dart/compiler/type/Types.java b/compiler/java/com/google/dart/compiler/type/Types.java
|
| index d825e85c2f0cb06e55b11905ea6981f9ceb5ae13..8ec7a882e4469c32437ab090e9b773c2fae015b1 100644
|
| --- a/compiler/java/com/google/dart/compiler/type/Types.java
|
| +++ b/compiler/java/com/google/dart/compiler/type/Types.java
|
| @@ -714,6 +714,9 @@ public class Types {
|
| if (type.getQuality().ordinal() > quality.ordinal()) {
|
| return type;
|
| }
|
| + if (quality == TypeQuality.EXACT) {
|
| + return type;
|
| + }
|
| Set<Class<?>> interfaceSet = getAllImplementedInterfaces(type.getClass());
|
| if (!interfaceSet.isEmpty()) {
|
| Class<?>[] interfaces = (Class[]) interfaceSet.toArray(new Class[interfaceSet.size()]);
|
|
|