Implement dynamic function checks.

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

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library tracer;
 
 import 'dart:async' show EventSink;
 
 import 'ssa.dart';
 import '../js_backend/js_backend.dart';
@@ skipping 503 matching lines @@
   }
 
   String visitTypeKnown(HTypeKnown node) {
     assert(node.inputs.length == 1);
     return "TypeKnown: ${temporaryId(node.checkedInput)} is ${node.knownType}";
   }
 
   String visitRangeConversion(HRangeConversion node) {
     return "RangeConversion: ${node.checkedInput}";
   }
+
+  String visitReadTypeVariable(HReadTypeVariable node) {
+    return "ReadTypeVariable: ${node.dartType} ${node.hasReceiver}";
+  }
+
+  String visitFunctionType(HFunctionType node) {
+    return "FunctionType: ${node.dartType}";
+  }
+
+  String visitVoidType(HVoidType node) {
+    return "VoidType";
+  }
+
+  String visitInterfaceType(HInterfaceType node) {
+    return "InterfaceType: ${node.dartType}";
+  }
+
+  String visitDynamicType(HDynamicType node) {
+    return "DynamicType";
+  }
 }