Implement type variables on generalized function types.

pkg/front_end/testcases/strong.status

Index: pkg/front_end/testcases/strong.status
diff --git a/pkg/front_end/testcases/strong.status b/pkg/front_end/testcases/strong.status
index 7d6118f74734328141cf7acc672feb53a77df9cc..dfb4802f9c7ffd1af3fe3a04dc9fa8dffddb1f7f 100644
--- a/pkg/front_end/testcases/strong.status
+++ b/pkg/front_end/testcases/strong.status
@@ -61,6 +61,7 @@ inference/downwards_inference_annotations_type_variable: Fail # Issue #30035
 inference/downwards_inference_annotations_type_variable_local: Fail # Issue #30035
 inference/downwards_inference_annotations_typedef: Fail # Issue #30034
 inference/downwards_inference_on_function_of_t_using_the_t: Fail # Issue #29798
+inference/downwards_inference_on_generic_function_expressions: Fail

[Paul Berry, 2017/06/29 17:45:40]

Feel free to put `# TODO(paulberry)` here if you want.  I'll get to work on it
ASAP.

[Paul Berry, 2017/06/30 03:02:22]

I have a fix ready to send out as soon as you land this CL

[ahe, 2017/07/04 11:07:45]

Acknowledged.

[ahe, 2017/07/04 11:07:45]

Done.

 inference/future_then_explicit_future: Fail # Issue #30040
 inference/generic_functions_return_typedef: Fail # Issue #29798
 inference/generic_methods_infer_js_builtin: Fail # Issue #30029