Re-remove ad hoc Future.then inference.

pkg/analyzer/lib/src/generated/resolver.dart

 // Copyright (c) 2014, 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 analyzer.src.generated.resolver;
 
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/standard_resolution_map.dart';
@@ skipping 5152 matching lines @@
   }
 
   /**
    * Prepares this [ResolverVisitor] to using it for incremental resolution.
    */
   void initForIncrementalResolution() {
     _overrideManager.enterScope();
   }
 
   /**
-   * Returns true if this method is `Future.then` or an override thereof.
-   *
-   * If so we will apply special typing rules in strong mode, to handle the
-   * implicit union of `S | Future<S>`
-   */
-  // TODO(leafp): Eliminate this when code is switched to using FutureOr
-  bool isFutureThen(Element element) {
-    // If we are a method named then
-    if (element is MethodElement && element.name == 'then') {
-      DartType type = element.enclosingElement.type;
-      // On Future or a subtype, then we're good.
-      return (type.isDartAsyncFuture || isSubtypeOfFuture(type));
-    }
-    return false;
-  }
-
-  /**
-   * Returns true if this type is any subtype of the built in Future type.
-   */
-  // TODO(leafp): Eliminate this when code is switched to using FutureOr
-  bool isSubtypeOfFuture(DartType type) =>
-      typeSystem.isSubtypeOf(type, typeProvider.futureDynamicType);
-
-  /**
    * Given a downward inference type [fnType], and the declared
    * [typeParameterList] for a function expression, determines if we can enable
    * downward inference and if so, returns the function type to use for
    * inference.
    *
    * This will return null if inference is not possible. This happens when
    * there is no way we can find a subtype of the function type, given the
    * provided type parameter list.
    */
   FunctionType matchFunctionTypeParameters(
@@ skipping 817 matching lines @@
       _enclosingFunction = node.element;
       _overrideManager.enterScope();
       try {
         DartType functionType = InferenceContext.getContext(node);
         var ts = typeSystem;
         if (functionType is FunctionType && ts is StrongTypeSystemImpl) {
           functionType =
               matchFunctionTypeParameters(node.typeParameters, functionType);
           if (functionType is FunctionType) {
             _inferFormalParameterList(node.parameters, functionType);
-            DartType returnType;
-            ParameterElement parameterElement =
-                resolutionMap.staticParameterElementForExpression(node);
-            if (isFutureThen(parameterElement?.enclosingElement)) {
-              var futureThenType =
-                  InferenceContext.getContext(node.parent) as FunctionType;
-
-              // TODO(leafp): Get rid of this once code has been updated to use
-              // FutureOr
-              // Introduce FutureOr<T> for backwards compatibility if it was
-              // missing in old code.
-              if (futureThenType.parameters.isNotEmpty) {
-                if (!futureThenType.parameters[0].type.isDartAsyncFutureOr) {
-                  var typeParamS = futureThenType.returnType.flattenFutures(ts);
-                  returnType = _createFutureOr(typeParamS);
-                }
-              }
-            }
-            returnType ??= _computeReturnOrYieldType(functionType.returnType);
-            InferenceContext.setType(node.body, returnType);
+            InferenceContext.setType(
+                node.body, _computeReturnOrYieldType(functionType.returnType));
           }
         }
         super.visitFunctionExpression(node);
       } finally {
         _overrideManager.exitScope();
       }
     } finally {
       _currentFunctionBody = outerFunctionBody;
       _enclosingFunction = outerFunction;
     }
@@ skipping 4874 matching lines @@
       return null;
     }
     if (identical(node.staticElement, variable)) {
       if (node.inSetterContext()) {
         result = true;
       }
     }
     return null;
   }
 }