Add preliminary local function reference support to the AST summary linker.

pkg/analyzer/test/src/summary/linker_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.
 
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/summary/format.dart';
 import 'package:analyzer/src/summary/link.dart';
 import 'package:unittest/unittest.dart';
 
 import '../../reflective_tests.dart';
@@ skipping 132 matching lines @@
   final y;
   const C() : y = x.length;
 }
 const x = [const C()];
 ''');
     testLibrary.libraryCycleForLink.ensureLinked();
     ClassElementForLink classC = testLibrary.getContainedName('C');
     expect(classC.unnamedConstructor.isCycleFree, false);
   }
 
+  void test_inferredType_closure_fromBundle() {
+    var bundle = createPackageBundle(
+        '''
+var x = () {};
+''',
+        path: '/a.dart');
+    addBundle(bundle);
+    createLinker('''
+import 'a.dart';
+var y = x;
+''');
+    LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
+    expect(
+        library
+            .getContainedName('y')
+            .asTypeInferenceNode
+            .variableElement
+            .inferredType
+            .toString(),
+        '() → dynamic');
+  }
+
   void test_inferredType_instanceField_dynamic() {
     createLinker('''
 var x;
 class C {
   var f = x; // Inferred type: dynamic
 }
 ''');
     LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
     library.libraryCycleForLink.ensureLinked();
     ClassElementForLink_Class cls = library.getContainedName('C');
@@ skipping 471 matching lines @@
     TypeParameterElementForLink t = c.typeParameters[0];
     TypeParameterElementForLink u = c.typeParameters[1];
     TypeParameterElementForLink v = d.typeParameters[0];
     TypeParameterElementForLink w = d.typeParameters[1];
     expect(c.isTypeParameterInScope(v), false);
     expect(c.isTypeParameterInScope(w), false);
     expect(d.isTypeParameterInScope(t), false);
     expect(d.isTypeParameterInScope(u), false);
   }
 }