dart2js: Fix some problems with mixins and generics

dart2js: Fix some problems with mixins and generics

Force the generation of substitutions for mixins at mixin applications. This compensates for the partial lack of rules for mixins in the code that anticipates which substitutions are required.

R=sigmund@google.com

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

[sra1, 2016-08-31 20:49:29]

Description was changed from

==========
dart2js: Fix some problems with mixins and generics
==========

to

==========
dart2js: Fix some problems with mixins and generics

Force the generation of substitutions for mixins at mixin applications. This
compensates for the partial lack of rules for mixins in the code that
anticipates which substitutions are required.
==========

[sra1, 2016-08-31 20:49:29]

sra@google.com changed reviewers:
+ johnniwinther@google.com, sigmund@google.com

[sra1, 2016-08-31 20:56:45]

Patchset #1 (id:1) has been deleted

[Siggi Cherem (dart-lang), 2016-09-01 15:49:59]

lgtm

[sra1, 2016-09-01 18:08:33]

Description was changed from

==========
dart2js: Fix some problems with mixins and generics

Force the generation of substitutions for mixins at mixin applications. This
compensates for the partial lack of rules for mixins in the code that
anticipates which substitutions are required.
==========

to

==========
dart2js: Fix some problems with mixins and generics

Force the generation of substitutions for mixins at mixin applications. This
compensates for the partial lack of rules for mixins in the code that
anticipates which substitutions are required.

R=sigmund@google.com

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

[sra1, 2016-09-01 18:08:34]

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