Add support for the new function-type syntax.

pkg/compiler/lib/src/kernel/kernel_visitor.dart

Index: pkg/compiler/lib/src/kernel/kernel_visitor.dart
diff --git a/pkg/compiler/lib/src/kernel/kernel_visitor.dart b/pkg/compiler/lib/src/kernel/kernel_visitor.dart
index e61ca0bb74c0f24e42e54101fe06cd2111b1f1ff..10b0cf81ee01ef8af9841bfa716913bc6141016d 100644
--- a/pkg/compiler/lib/src/kernel/kernel_visitor.dart
+++ b/pkg/compiler/lib/src/kernel/kernel_visitor.dart
@@ -103,6 +103,7 @@ import '../tree/tree.dart'
         ForIn,
         FunctionDeclaration,
         FunctionExpression,
+        FunctionTypeAnnotation,
         Identifier,
         If,
         Label,
@@ -121,6 +122,7 @@ import '../tree/tree.dart'
         NewExpression,
         Node,
         NodeList,
+        NominalTypeAnnotation,
         Operator,
         ParenthesizedExpression,
         RedirectingFactoryBody,
@@ -1093,6 +1095,20 @@ class KernelVisitor extends Object
   }
 
   @override
+  visitNominalTypeAnnotation(NominalTypeAnnotation node) {
+    // Shouldn't be called, as the resolver have already resolved types and

[Johnni Winther, 2017/01/02 12:46:53]

'have' -> 'has'

[floitsch, 2017/01/02 13:48:48]

Done.

+    // created [DartType] objects.
+    return internalError(node, "NominalTypeAnnotation");
+  }
+
+  @override
+  visitFunctionTypeAnnotation(FunctionTypeAnnotation node) {
+    // Shouldn't be called, as the resolver have already resolved types and

[Johnni Winther, 2017/01/02 12:46:53]

ditto

[floitsch, 2017/01/02 13:48:48]

Done.

+    // created [DartType] objects.
+    return internalError(node, "FunctionTypeAnnotation");
+  }
+
+  @override
   visitTypeVariable(TypeVariable node) {
     // Shouldn't be called, as the resolver have already resolved types and

[floitsch, 2017/01/02 13:48:48]

done.

     // created [DartType] objects.