Implement new return type checking rules in analyzer.

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 engine.resolver;
 
 import "dart:math" as math;
 import 'dart:collection';
 
 import 'package:analyzer/src/generated/utilities_collection.dart';
@@ skipping 13392 matching lines @@
   DartType get dynamicType;
 
   /**
    * Return the type representing the built-in type 'Function'.
    *
    * @return the type representing the built-in type 'Function'
    */
   InterfaceType get functionType;
 
   /**
+   * Return the type representing 'Future<dynamic>'.
+   */
+  InterfaceType get futureDynamicType;
+
+  /**
    * Return the type representing 'Future<Null>'.
    */
   InterfaceType get futureNullType;
 
   /**
    * Return the type representing the built-in type 'Future'.
    */
   InterfaceType get futureType;
 
   /**
@@ skipping 121 matching lines @@
    * The type representing the built-in type 'dynamic'.
    */
   DartType _dynamicType;
 
   /**
    * The type representing the built-in type 'Function'.
    */
   InterfaceType _functionType;
 
   /**
+   * The type representing 'Future<dynamic>'.
+   */
+  InterfaceType _futureDynamicType;
+
+  /**
    * The type representing 'Future<Null>'.
    */
   InterfaceType _futureNullType;
 
   /**
    * The type representing the built-in type 'Future'.
    */
   InterfaceType _futureType;
 
   /**
@@ skipping 92 matching lines @@
   @override
   InterfaceType get doubleType => _doubleType;
 
   @override
   DartType get dynamicType => _dynamicType;
 
   @override
   InterfaceType get functionType => _functionType;
 
   @override
+  InterfaceType get futureDynamicType => _futureDynamicType;
+
+  @override
   InterfaceType get futureNullType => _futureNullType;
 
   @override
   InterfaceType get futureType => _futureType;
 
   @override
   InterfaceType get intType => _intType;
 
   @override
   InterfaceType get iterableDynamicType => _iterableDynamicType;
@@ skipping 79 matching lines @@
     _mapType = _getType(coreNamespace, "Map");
     _nullType = _getType(coreNamespace, "Null");
     _numType = _getType(coreNamespace, "num");
     _objectType = _getType(coreNamespace, "Object");
     _stackTraceType = _getType(coreNamespace, "StackTrace");
     _streamType = _getType(asyncNamespace, "Stream");
     _stringType = _getType(coreNamespace, "String");
     _symbolType = _getType(coreNamespace, "Symbol");
     _typeType = _getType(coreNamespace, "Type");
     _undefinedType = UndefinedTypeImpl.instance;
+    _futureDynamicType = _futureType.substitute4(<DartType>[_dynamicType]);
     _futureNullType = _futureType.substitute4(<DartType>[_nullType]);
     _iterableDynamicType = _iterableType.substitute4(<DartType>[_dynamicType]);
     _streamDynamicType = _streamType.substitute4(<DartType>[_dynamicType]);
   }
 }
 
 /**
  * Instances of the class `TypeResolverVisitor` are used to resolve the types associated with
  * the elements in the element model. This includes the types of superclasses, mixins, interfaces,
  * fields, methods, parameters, and local variables. As a side-effect, this also finishes building
@@ skipping 1882 matching lines @@
    * library.
    */
   final HashSet<String> members = new HashSet<String>();
 
   /**
    * Names of resolved or unresolved class members that are read in the
    * library.
    */
   final HashSet<String> readMembers = new HashSet<String>();
 }