Fix a corner case of inferred types with function-typed parameters.

pkg/analyzer/test/src/summary/resynthesize_test.dart

 // Copyright (c) 2015, 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 test.src.serialization.elements_test;
 
 import 'dart:convert';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/constant/value.dart';
@@ skipping 3339 matching lines @@
     addLibrarySource(
         '/b.dart', 'abstract class E { void f(int x, int g(String s)); }');
     checkLibrary('import "a.dart"; class C extends D { void f(int x, g) {} }');
   }
 
   test_inferred_type_refers_to_method_function_typed_parameter_type() {
     checkLibrary('class C extends D { void f(int x, g) {} }'
         ' abstract class D { void f(int x, int g(String s)); }');
   }
 
+  test_inferred_type_refers_to_nested_function_typed_param_of_typedef() {

[scheglov, 2016/05/06 16:49:43]

Is it really "of typedef"?

[Paul Berry, 2016/05/06 16:54:37]

Oops.  No, it's not.

Fixed.

+    checkLibrary('''
+f(void g(int x, void h())) => null;
+var v = f((x, y) {});
+''');
+  }
+
+  test_inferred_type_refers_to_nested_function_typed_param_of_typedef_named() {
+    checkLibrary('''
+f({void g(int x, void h())}) => null;
+var v = f(g: (x, y) {});
+''');
+  }
+
   test_inferred_type_refers_to_setter_function_typed_parameter_type() {
     checkLibrary('class C extends D { void set f(g) {} }'
         ' abstract class D { void set f(int g(String s)); }');
   }
 
   test_initializer_executable_with_return_type_from_closure() {
     checkLibrary('var v = () => 0;');
   }
 
   test_initializer_executable_with_return_type_from_closure_field() {
@@ skipping 1024 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }