AST-based type inference clean-up

AST-based type inference clean-up

This CL simplifies the type hierarchy used in AST summarization.
There was no need for TypeParameterizedElementForLink and
TypeParameterizedContext to be separate classes, since every class
that mixed in the former also implemented the latter, and vice versa.

Also, it re-enables two tests that were made to pass by previous CLs.

R=scheglov@google.com

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

[Paul Berry, 2016-04-01 17:48:57]

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

[scheglov, 2016-04-01 18:02:33]

LGTM

[Paul Berry, 2016-04-01 18:18:08]

Description was changed from

==========
AST-based type inference clean-up

This CL simplifies the type hierarchy used in AST summarization.
There was no need for TypeParameterizedElementForLink and
TypeParameterizedContext to be separate classes, since every class
that mixed in the former also implemented the latter, and vice versa.

Also, it re-enables two tests that were made to pass by previous CLs.
==========

to

==========
AST-based type inference clean-up

This CL simplifies the type hierarchy used in AST summarization.
There was no need for TypeParameterizedElementForLink and
TypeParameterizedContext to be separate classes, since every class
that mixed in the former also implemented the latter, and vice versa.

Also, it re-enables two tests that were made to pass by previous CLs.

R=scheglov@google.com

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

[Paul Berry, 2016-04-01 18:18:10]

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