Fix calling object methods and properties on function types

pkg/analyzer/lib/src/summary/link.dart

 // Copyright (c) 2016, 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.
 
 /**
  * This library is capable of producing linked summaries from unlinked
  * ones (or prelinked ones).  It functions by building a miniature
  * element model to represent the contents of the summaries, and then
  * scanning the element model to gather linked information and adding
  * it to the summary data structures.
@@ skipping 1040 matching lines @@
       DartType getTypeArgument(int i) {
         if (i < type.typeArguments.length) {
           return resolveTypeRef(type.typeArguments[i], typeParameterContext);
         } else if (!instantiateToBoundsAllowed) {
           // Do not allow buildType to instantiate the bounds; force dynamic.
           return DynamicTypeImpl.instance;
         } else {
           return null;
         }
       }
+
       ReferenceableElementForLink element = resolveRef(type.reference);
       return element.buildType(
           getTypeArgument, type.implicitFunctionTypeIndices);
     }
   }
 
   @override
   String toString() => enclosingElement.toString();
 }
 
@@ skipping 286 matching lines @@
   ConstConstructorNode(this.constructorElement);
 
   @override
   List<ConstNode> computeDependencies() {
     List<ConstNode> dependencies = <ConstNode>[];
     void safeAddDependency(ConstNode target) {
       if (target != null) {
         dependencies.add(target);
       }
     }
+
     UnlinkedExecutable unlinkedExecutable =
         constructorElement._unlinkedExecutable;
     ClassElementForLink_Class enclosingClass =
         constructorElement.enclosingElement;
     ConstructorElementForLink redirectedConstructor =
         _getFactoryRedirectedConstructor();
     if (redirectedConstructor != null) {
       if (redirectedConstructor._constNode != null) {
         safeAddDependency(redirectedConstructor._constNode);
       }
@@ skipping 2791 matching lines @@
       _unlinkedExecutable.kind == UnlinkedExecutableKind.getter;
 
   @override
   bool get isSetter =>
       _unlinkedExecutable.kind == UnlinkedExecutableKind.setter;
 
   @override
   bool get isStatic => enclosingClass == null || super.isStatic;
 
   @override
-  ElementKind get kind => _unlinkedExecutable.kind ==
-      UnlinkedExecutableKind.getter ? ElementKind.GETTER : ElementKind.SETTER;
+  ElementKind get kind =>
+      _unlinkedExecutable.kind == UnlinkedExecutableKind.getter
+          ? ElementKind.GETTER
+          : ElementKind.SETTER;
 
   @override
   ReferenceableElementForLink getContainedName(String name) {
     return new NonstaticMemberElementForLink(
         library as LibraryElementForLink, this, name);
   }
 
   @override
   FunctionElementForLink_Local getLocalFunction(int index) {
     // TODO(paulberry): implement
@@ skipping 459 matching lines @@
     } else {
       functionElement
           ._setInferredType(new ExprTypeComputer(functionElement).compute());
     }
   }
 
   @override
   String toString() => 'TypeInferenceNode($functionElement)';
 }
 
-class TypeProviderForLink implements TypeProvider {
+class TypeProviderForLink extends Object
+    with TypeProviderBaseMixin
+    implements TypeProvider {
   final Linker _linker;
 
   InterfaceType _boolType;
   InterfaceType _deprecatedType;
   InterfaceType _doubleType;
   InterfaceType _functionType;
   InterfaceType _futureDynamicType;
   InterfaceType _futureNullType;
   InterfaceType _futureType;
   InterfaceType _intType;
@@ skipping 61 matching lines @@
 
   @override
   InterfaceType get listType =>
       _listType ??= _buildInterfaceType(_linker.coreLibrary, 'List');
 
   @override
   InterfaceType get mapType =>
       _mapType ??= _buildInterfaceType(_linker.coreLibrary, 'Map');
 
   @override
-  List<InterfaceType> get nonSubtypableTypes => <InterfaceType>[
-        nullType,
-        numType,
-        intType,
-        doubleType,
-        boolType,
-        stringType
-      ];
-
-  @override
   DartObjectImpl get nullObject {
     // TODO(paulberry): implement if needed
     throw new UnimplementedError();
   }
 
   @override
   InterfaceType get nullType =>
       _nullType ??= _buildInterfaceType(_linker.coreLibrary, 'Null');
 
   @override
@@ skipping 201 matching lines @@
    * there are no type parameters in scope.
    */
   TypeParameterizedElementMixin get _typeParameterContext;
 
   @override
   noSuchMethod(Invocation invocation) => super.noSuchMethod(invocation);
 
   @override
   String toString() => '$enclosingElement.$name';
 }