Fix bug in combination of bounded and exact types.

lib/compiler/implementation/ssa/types.dart

Index: lib/compiler/implementation/ssa/types.dart
diff --git a/lib/compiler/implementation/ssa/types.dart b/lib/compiler/implementation/ssa/types.dart
index 8fdde0b0e044484acc9d43492bb5396228dec223..c9b37e80d9f7650730d260086b591be3723aa547 100644
--- a/lib/compiler/implementation/ssa/types.dart
+++ b/lib/compiler/implementation/ssa/types.dart
@@ -648,6 +648,9 @@ class HExactType extends HBoundedType {
     if (other.isExact()) {
       HExactType concrete = other;
       if (this.type === concrete.type) return this;
+    } else if (other is HBoundedType) {
+      HBoundedType bounded = other;
+      if (this.type === bounded.type) return other;

[ngeoffray, 2012/05/23 14:09:45]

This is OK for the union but not for the intersection. Maybe you should get rid
of combine and implement union/intersection for HBoundedType and HExactType.

[karlklose, 2012/05/24 12:37:49]

Done.

     }
     if (other.isUnknown()) return this;
     return HType.CONFLICTING;