Support for type inference of top-level function invocations.

pkg/analyzer/test/src/summary/resynthesize_ast_test.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.
 
 library analyzer.test.src.summary.resynthesize_ast_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/generated/engine.dart'
@@ skipping 59 matching lines @@
   }
 
   @override
   DartSdk createDartSdk() => AbstractContextTest.SHARED_STRONG_MOCK_SDK;
 
   @override
   AnalysisOptionsImpl createOptions() => new AnalysisOptionsImpl()
     ..enableGenericMethods = true
     ..strongMode = true;
 
-  void fail_infer_invokeMethodRef_function() {
-    // TODO(scheglov) requires an element for top-level functions
-    // TODO(scheglov) add more tests - imported, and with prefix
-    var unit = checkFile(r'''
-int m() => 0;
-var a = m();
-  ''');
-    expect(unit.topLevelVariables[0].type.toString(), 'int');
-  }
-
   @override
   @failingTest
   void test_blockBodiedLambdas_async_allReturnsAreValues() {
     super.test_blockBodiedLambdas_async_allReturnsAreValues();
   }
 
   @override
   @failingTest
   void test_blockBodiedLambdas_async_alReturnsAreFutures() {
     super.test_blockBodiedLambdas_async_alReturnsAreFutures();
@@ skipping 299 matching lines @@
   void test_infer_invokeConstructor_unnamed_synthetic() {
     checkFile(r'''
 class A {}
 class B<T> {}
 var a = new A();
 var b1 = new B();
 var b2 = new B<int>();
   ''');
   }
 
+  void test_infer_invokeMethodRef_function() {
+    var unit = checkFile(r'''
+int m() => 0;
+var a = m();
+  ''');
+    expect(unit.topLevelVariables[0].type.toString(), 'int');
+  }
+
+  void test_infer_invokeMethodRef_function_generic() {
+    var unit = checkFile(r'''
+/*=Map<int, V>*/ m/*<V>*/(/*=V*/ a) => null;
+var a = m(2.3);
+  ''');
+    expect(unit.topLevelVariables[0].type.toString(), 'Map<int, double>');
+  }
+
+  void test_infer_invokeMethodRef_function_importedWithPrefix() {
+    addFile(
+        r'''
+int m() => 0;
+''',
+        name: '/a.dart');
+    var unit = checkFile(r'''
+import 'a.dart' as p;
+var a = p.m();
+  ''');
+    expect(unit.topLevelVariables[0].type.toString(), 'int');
+  }
+
   void test_infer_invokeMethodRef_method() {
     var unit = checkFile(r'''
 class A {
   int m() => 0;
 }
 var a = new A();
 var b = a.m();
   ''');
     expect(unit.topLevelVariables[1].type.toString(), 'int');
   }
 
   void test_infer_invokeMethodRef_method_g() {
     var unit = checkFile(r'''
 class A {
   /*=T*/ m/*<T>*/(/*=T*/ a) => null;
 }
 var a = new A();
 var b = a.m(1.0);
   ''');
     expect(unit.topLevelVariables[1].type.toString(), 'double');
   }
 
-  void test_infer_invokeMethodRef_method_gg() {
-    var unit = checkFile(r'''
-class A<K> {
-  /*=Map<K, V>*/ m/*<V>*/(/*=V*/ a) => null;
-}
-var a = new A<int>();
-var b = a.m(1.0);
-  ''');
-    expect(unit.topLevelVariables[1].type.toString(), 'Map<int, double>');
-  }
-
   void test_infer_invokeMethodRef_method_genericSequence() {
     var unit = checkFile(r'''
 class A<T> {
   B<T> b = new B<T>();
 }
 class B<K> {
   C<List<K>, int> c = new C<List<K>, int>();
 }
 class C<K, V> {
   Map<K, V> m() => null;
 }
 var a = new A<double>();
 var v = a.b.c.m();
   ''');
     expect(unit.topLevelVariables[1].type.toString(), 'Map<List<double>, int>');
   }
 
+  void test_infer_invokeMethodRef_method_gg() {
+    var unit = checkFile(r'''
+class A<K> {
+  /*=Map<K, V>*/ m/*<V>*/(/*=V*/ a) => null;
+}
+var a = new A<int>();
+var b = a.m(1.0);
+  ''');
+    expect(unit.topLevelVariables[1].type.toString(), 'Map<int, double>');
+  }
+
   void test_infer_invokeMethodRef_method_importedWithPrefix() {
     addFile(
         r'''
 class A {
   int m() => 0;
 }
 var a = new A();
 ''',
         name: '/a.dart');
     var unit = checkFile(r'''
@@ skipping 273 matching lines @@
     }
 
     UnlinkedUnit definingUnit = _getUnlinkedUnit(librarySource);
     LinkedLibraryBuilder linkedLibrary =
         prelink(definingUnit, getPart, getImport);
     linkedLibrary.dependencies.skip(1).forEach((LinkedDependency d) {
       _serializeLibrary(resolveRelativeUri(d.uri));
     });
   }
 }