Fix instantiateToBounds behavior in summary resynthesizer to match that of StrongTypeSystemImpl.ins…

Fix instantiateToBounds behavior in summary resynthesizer to match that of StrongTypeSystemImpl.instantiateToBounds.

Note that StrongTypeSystemImpl.instantiateToBounds misbehaves if the
bound on one type parameter refers to a later type parameter.  I'm not
sure what the intended behavior is in this case, so I've filed
dartbug.com/27072.  Once that is fixed we can refine the behavior of
the summary resynthesizer further.

R=scheglov@google.com

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

[Paul Berry, 2016-08-12 23:43:12]

paulberry@google.com changed reviewers:
+ scheglov@google.com

[scheglov, 2016-08-13 00:27:44]

LGTM

[Paul Berry, 2016-08-13 00:29:25]

Description was changed from

==========
Fix instantiateToBounds behavior in summary resynthesizer to match that of
StrongTypeSystemImpl.instantiateToBounds.

Note that StrongTypeSystemImpl.instantiateToBounds misbehaves if the
bound on one type parameter refers to a later type parameter.  I'm not
sure what the intended behavior is in this case, so I've filed
dartbug.com/27072.  Once that is fixed we can refine the behavior of
the summary resynthesizer further.
==========

to

==========
Fix instantiateToBounds behavior in summary resynthesizer to match that of
StrongTypeSystemImpl.instantiateToBounds.

Note that StrongTypeSystemImpl.instantiateToBounds misbehaves if the
bound on one type parameter refers to a later type parameter.  I'm not
sure what the intended behavior is in this case, so I've filed
dartbug.com/27072.  Once that is fixed we can refine the behavior of
the summary resynthesizer further.

R=scheglov@google.com

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

[Paul Berry, 2016-08-13 00:29:26]

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