Check for canBePrimitiveNumber when doing the intersection on a number type.

sdk/lib/_internal/compiler/implementation/ssa/types.dart

Index: sdk/lib/_internal/compiler/implementation/ssa/types.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/ssa/types.dart	(revision 19535)
+++ sdk/lib/_internal/compiler/implementation/ssa/types.dart	(working copy)
@@ -416,6 +416,7 @@
     if (other.isUnknown()) return HType.BOOLEAN;
     if (other.isBooleanOrNull()) return HType.BOOLEAN;
     if (other.isBoolean()) return HType.BOOLEAN;
+    if (other.isTop(compiler)) return HType.BOOLEAN;
     return HType.CONFLICTING;
   }
 }
@@ -453,7 +454,7 @@
     if (other.isIntegerOrNull()) return HType.INTEGER_OR_NULL;
     if (other.isDoubleOrNull()) return HType.DOUBLE_OR_NULL;
     if (other.isNumberOrNull()) return HType.NUMBER_OR_NULL;
-    if (other.isTop(compiler)) {
+    if (other.canBePrimitiveNumber(compiler)) {
       return other.canBeNull() ? this : HType.NUMBER;
     }
     if (other.canBeNull()) return HType.NULL;
@@ -493,6 +494,7 @@
     if (other.isIntegerOrNull()) return HType.INTEGER;
     if (other.isDoubleOrNull()) return HType.DOUBLE;
     if (other.isNumberOrNull()) return HType.NUMBER;
+    if (other.canBePrimitiveNumber(compiler)) return HType.NUMBER;
     return HType.CONFLICTING;
   }
 }
@@ -531,7 +533,7 @@
     if (other.isDoubleOrNull()) return HType.NULL;
     if (other.isNumber()) return HType.INTEGER;
     if (other.isNumberOrNull()) return HType.INTEGER_OR_NULL;
-    if (other.isTop(compiler)) {
+    if (other.canBePrimitiveNumber(compiler)) {
       return other.canBeNull() ? this : HType.INTEGER;
     }
     if (other.canBeNull()) return HType.NULL;
@@ -574,6 +576,7 @@
     if (other.isDoubleOrNull()) return HType.CONFLICTING;
     if (other.isNumber()) return HType.INTEGER;
     if (other.isNumberOrNull()) return HType.INTEGER;
+    if (other.canBePrimitiveNumber(compiler)) return HType.INTEGER;
     return HType.CONFLICTING;
   }
 }
@@ -612,7 +615,7 @@
     if (other.isDoubleOrNull()) return HType.DOUBLE_OR_NULL;
     if (other.isNumber()) return HType.DOUBLE;
     if (other.isNumberOrNull()) return HType.DOUBLE_OR_NULL;
-    if (other.isTop(compiler)) {
+    if (other.canBePrimitiveNumber(compiler)) {
       return other.canBeNull() ? this : HType.DOUBLE;
     }
     if (other.canBeNull()) return HType.NULL;
@@ -655,6 +658,7 @@
     if (other.isDoubleOrNull()) return HType.DOUBLE;
     if (other.isNumber()) return HType.DOUBLE;
     if (other.isNumberOrNull()) return HType.DOUBLE;
+    if (other.canBePrimitiveNumber(compiler)) return HType.DOUBLE;
     return HType.CONFLICTING;
   }
 }