Revert "Abort tracing in type inference in the presence of await."

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 d740569c0a627a7605798dad2a13243c4e753dab..f5460e37ba203c3f48a01a3e9f257f4c336459a1 100644
--- a/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
+++ b/pkg/compiler/lib/src/inferrer/simple_types_inferrer.dart
@@ -281,12 +281,6 @@ abstract class InferrerEngine<T, V extends TypeSystem>
                           bool inLoop);
 
   /**
-   * Registers a call to await with an expression of type [argumentType] as
-   * argument.
-   */
-  T registerAwait(ast.Node node, T argumentType);
-
-  /**
    * Notifies to the inferrer that [analyzedElement] can have return
    * type [newType]. [currentType] is the type the [InferrerVisitor]
    * currently found.
@@ -1017,7 +1011,8 @@ class SimpleTypeInferrerVisitor<T>
 
   T visitAwait(ast.Await node) {
     T futureType = node.expression.accept(this);
-    return inferrer.registerAwait(node, futureType);
+    // TODO(herhut): Return a better type here if possible.
+    return types.dynamicType;
   }
 
   T visitStaticSend(ast.Send node) {