Implement function-typed formal parameters in OutlineBuilder.

pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect

Index: pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect
index 39f7a611a4f31d2a4fa0d3d809d4d6c4e2201de5..b69aff907d10b679967eafc7c399274972a958ed 100644
--- a/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/infer_types_on_generic_instantiations_5.dart.strong.expect
@@ -6,13 +6,13 @@ abstract class I<E extends core::Object> extends core::Object {
   constructor •() → void
     : super core::Object::•()
     ;
-  abstract method m(dynamic a, dynamic f) → core::String;
+  abstract method m(dynamic a, (dynamic, self::I::E) → core::String f) → core::String;
 }
 abstract class A<E extends core::Object> extends core::Object implements self::I<self::A::E> {
   const constructor •() → void
     : super core::Object::•()
     ;
-  abstract method m(dynamic a, dynamic f) → core::String;
+  abstract method m(dynamic a, (dynamic, self::A::E) → core::String f) → core::String;
 }
 abstract class M extends core::Object {
   final field core::int y = 0;
@@ -26,7 +26,7 @@ class B<E extends core::Object> extends self::A<self::B::E> implements self::M {
     ;
   get y() → core::int
     return 0;
-  method m(dynamic a, dynamic f) → dynamic {}
+  method m(dynamic a, (dynamic, self::B::E) → dynamic f) → dynamic {}
 }
 static method foo() → dynamic {
   core::int y = new self::B::•<dynamic>().{self::B::m}(null, null);