Implement instantiateToBounds in front_end.

Implement instantiateToBounds in front_end.

R=scheglov@google.com

Note: error reporting will be added in a follow-up CL.
Committed: https://github.com/dart-lang/sdk/commit/c376a45f91f28217508d926fe3d9c34d762c2709

[Paul Berry, 2017-05-04 22:00:24]

Description was changed from

==========
Implement instantiateToBounds in front_end.
==========

to

==========
Implement instantiateToBounds in front_end.

Note: error reporting will be added in a follow-up CL.
==========

[Paul Berry, 2017-05-04 22:00:38]

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

[scheglov, 2017-05-04 22:09:21]

LGTM

https://codereview.chromium.org/2866543002/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/2866543002/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart:177:
type = Substitution.fromMap(knownTypes).substituteType(type);
There is some asymmetry here.
This construct also exists as the substitute() function.

[Paul Berry, 2017-05-04 22:14:04]

https://codereview.chromium.org/2866543002/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/2866543002/diff/1/pkg/front_end/lib/src/fasta...
pkg/front_end/lib/src/fasta/type_inference/type_schema_environment.dart:177:
type = Substitution.fromMap(knownTypes).substituteType(type);
On 2017/05/04 22:09:20, scheglov wrote:
> There is some asymmetry here.
> This construct also exists as the substitute() function.

Good point.  Switched to substitute() for symmetry.

[Paul Berry, 2017-05-04 22:23:23]

Description was changed from

==========
Implement instantiateToBounds in front_end.

Note: error reporting will be added in a follow-up CL.
==========

to

==========
Implement instantiateToBounds in front_end.

R=scheglov@google.com

Note: error reporting will be added in a follow-up CL.
Committed:
https://github.com/dart-lang/sdk/commit/c376a45f91f28217508d926fe3d9c34d762c2709
==========

[Paul Berry, 2017-05-04 22:23:24]

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