Implement inferGenericFunctionOrType in front_end.

Implement inferGenericFunctionOrType in front_end.

R=jmesserly@google.com, scheglov@google.com

Committed: https://github.com/dart-lang/sdk/commit/a59bff34236d6ca0c73429a859d76065c0e92d2e

[Paul Berry, 2017-05-04 23:39:28]

paulberry@google.com changed reviewers:
+ jmesserly@google.com, leafp@google.com, scheglov@google.com

[Jennifer Messerly, 2017-05-04 23:45:43]

<L>(G, T) -> M !

lgtm

https://codereview.chromium.org/2863833002/diff/1/pkg/front_end/lib/src/fasta...
File pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart
(right):

https://codereview.chromium.org/2863833002/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart:184: ///
used for downwards inference.  If this is the case, consider having the
typo, I think you mean `upwards inference` which is the phase that includes
argument/parameter type information. But otherwise I agree with this comment :)

[scheglov, 2017-05-04 23:46:46]

LGTM

[Paul Berry, 2017-05-05 01:17:32]

https://codereview.chromium.org/2863833002/diff/1/pkg/front_end/lib/src/fasta...
File pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart
(right):

https://codereview.chromium.org/2863833002/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart:184: ///
used for downwards inference.  If this is the case, consider having the
On 2017/05/04 23:45:43, Jennifer Messerly wrote:
> typo, I think you mean `upwards inference` which is the phase that includes
> argument/parameter type information. But otherwise I agree with this comment
:)

Oops, you're right.  Fixed.

[Paul Berry, 2017-05-05 01:21:57]

Description was changed from

==========
Implement inferGenericFunctionOrType in front_end.
==========

to

==========
Implement inferGenericFunctionOrType in front_end.

R=jmesserly@google.com, scheglov@google.com

Committed:
https://github.com/dart-lang/sdk/commit/a59bff34236d6ca0c73429a859d76065c0e92d2e
==========

[Paul Berry, 2017-05-05 01:21:58]

Committed patchset #1 (id:1) manually as
a59bff34236d6ca0c73429a859d76065c0e92d2e (presubmit successful).