Element model support for covariant

Element model support for covariant

R=scheglov@google.com

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

[Brian Wilkerson, 2017-01-19 22:51:18]

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

[Brian Wilkerson, 2017-01-19 22:51:18]

This doesn't get the remaining shared tests to pass. I'll look into doing that
next.

Also, I'd like to rename some of the 'isCovariant' getters to something else so
that I can rename 'isExplicitlyCovariant' to 'isCovariant', but I thought it
would be better to do that as a separate step.

[scheglov, 2017-01-20 00:30:18]

lgtm

https://codereview.chromium.org/2644543005/diff/1/pkg/analyzer/test/src/summa...
File pkg/analyzer/test/src/summary/resynthesize_common.dart (right):

https://codereview.chromium.org/2644543005/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/resynthesize_common.dart:933: reason: '$desc
isCovariant');
We already cast to Impl(s) below.

[Brian Wilkerson, 2017-01-20 15:59:07]

https://codereview.chromium.org/2644543005/diff/1/pkg/analyzer/test/src/summa...
File pkg/analyzer/test/src/summary/resynthesize_common.dart (right):

https://codereview.chromium.org/2644543005/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/resynthesize_common.dart:933: reason: '$desc
isCovariant');
Ok. I moved the first test after the casts and removed the redundant cast.

[Brian Wilkerson, 2017-01-20 15:59:26]

Description was changed from

==========
Element model support for covariant
==========

to

==========
Element model support for covariant

R=scheglov@google.com

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

[Brian Wilkerson, 2017-01-20 15:59:27]

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