Cast InternalMap to Map.

Cast InternalMap to Map.

It's a tag interface that doesn't declare that it implements Map but all
classes that implement it also implement Map, so just do a cast.

R=vsm@google.com

Committed: https://github.com/dart-lang/dev_compiler/commit/8c7dd5cd042536f1664db7eafdd6b4b3bb25de5c

[Bob Nystrom, 2016-09-02 22:31:40]

rnystrom@google.com changed reviewers:
+ vsm@google.com

[vsm, 2016-09-06 21:21:16]

lgtm

Is there a reason we don't require InternalMap to implement Map?  Consistency
with dart2js?

[Bob Nystrom, 2016-09-07 22:52:22]

On 2016/09/06 21:21:16, vsm wrote:
> lgtm
> 
> Is there a reason we don't require InternalMap to implement Map?  Consistency
> with dart2js?

I considered that, but felt it would be weird since it means InternalMap would
have to be generic too. But, now that I look at it, that works fine since the
two classes implementing it are already themselves generic. Just did that
instead since it seems cleaner than an explicit cast.

PTAL!

– bob

[vsm, 2016-09-08 22:12:45]

lgtm

[Bob Nystrom, 2016-09-08 23:23:40]

Description was changed from

==========
Cast InternalMap to Map.

It's a tag interface that doesn't declare that it implements Map but all
classes that implement it also implement Map, so just do a cast.
==========

to

==========
Cast InternalMap to Map.

It's a tag interface that doesn't declare that it implements Map but all
classes that implement it also implement Map, so just do a cast.

R=vsm@google.com

Committed:
https://github.com/dart-lang/dev_compiler/commit/8c7dd5cd042536f1664db7eafdd6...
==========

[Bob Nystrom, 2016-09-08 23:23:42]

Committed patchset #3 (id:40001) manually as
8c7dd5cd042536f1664db7eafdd6b4b3bb25de5c (presubmit successful).