Leaf Petersen dd17a4c7f7 Alpha-vary generic function types before performing inference. ...

Generic function types were not previously renamed before using them
for inference, which resulted in capture problems when doing inference
on recursive generic method invocations.

Fixes #30980

Bug:
Change-Id: I1c610606dd65d86735cb615e077d720066a85e1a
Reviewed-on: https://dart-review.googlesource.com/15040
Commit-Queue: Leaf Petersen <leafp@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Jenny Messerly <jmesserly@google.com>

2017-10-19 19:26:07 +00:00

..

js

add a dartdevk command that compiles with the new front end

2017-10-16 21:13:52 +00:00

sdk

add a dartdevk command that compiles with the new front end

2017-10-16 21:13:52 +00:00

src

Alpha-vary generic function types before performing inference.

2017-10-19 19:26:07 +00:00