Revert "Implement tracing for function expressions and statements, and infer types of parameters of…

sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart

Index: sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart
diff --git a/sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart b/sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart
index 6890de7f45ffb2d2bba790ddd815ebd332b5a7e4..21fb5d715c89cc9ca87bb0f773bc03b9bfca7301 100644
--- a/sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart
+++ b/sdk/lib/_internal/compiler/implementation/inferrer/inferrer_visitor.dart
@@ -49,8 +49,6 @@ abstract class TypeSystem<T> {
 
   T allocateMap(T keyType, T valueType, T type);
 
-  T allocateClosure(Node node, Element element);
-
   /**
    * Returns the least upper bound between [firstType] and
    * [secondType].
@@ -273,10 +271,6 @@ class ArgumentsTypes<T> {
   bool every(bool f(T type)) {
     return positional.every(f) && named.values.every(f);
   }
-
-  bool contains(T type) {
-    return positional.contains(type) || named.containsValue(type);
-  }
 }
 
 abstract class MinimalInferrerEngine<T> {
@@ -740,11 +734,6 @@ abstract class InferrerVisitor
       return thisType;
     } else if (node.isSuper()) {
       return superType;
-    } else {
-      Element element = elements[node];
-      if (Elements.isLocal(element)) {
-        return locals.use(element);
-      }
     }
   }