Filter out calls to local functions whose signature does not apply.

pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart

Index: pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
diff --git a/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart b/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
index f06b1ccafc9f8913e0e4797441cb8ba668394dca..7c7b86707be7eb116857222f3f56d8ceb1755b40 100644
--- a/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
+++ b/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
@@ -1143,6 +1143,7 @@ class SimpleTypeInferrerVisitor<T>
     Selector selector = elements.getSelector(node);
     if (element != null && element.isFunction) {
       assert(element.isLocal);
+      if (!selector.applies(element, compiler.world)) return types.dynamicType;
       // This only works for function statements. We need a
       // more sophisticated type system with function types to support
       // more.