Enable full type-checks in checked mode.

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

Index: sdk/lib/_internal/compiler/implementation/ssa/codegen_helpers.dart
diff --git a/sdk/lib/_internal/compiler/implementation/ssa/codegen_helpers.dart b/sdk/lib/_internal/compiler/implementation/ssa/codegen_helpers.dart
index ce3c0e37f7a70fd231dad5796d1810666c771a71..ca97745876b002c57a91d28e057d4aefd27ce0f8 100644
--- a/sdk/lib/_internal/compiler/implementation/ssa/codegen_helpers.dart
+++ b/sdk/lib/_internal/compiler/implementation/ssa/codegen_helpers.dart
@@ -269,9 +269,6 @@ class SsaConditionMerger extends HGraphVisitor {
     // A [HCheck] instruction with control flow uses its input
     // multiple times, so we avoid generating it at use site.
     if (user is HCheck && user.isControlFlow()) return false;
-    // A [HIs] instruction uses its input multiple times, so we
-    // avoid generating it at use site.
-    if (user is HIs) return false;

[ngeoffray, 2013/05/13 09:10:59]

I think you still need this.

[karlklose, 2013/05/14 13:49:41]

Done.

     return true;
   }