Implement type variables in mixin applications.

pkg/front_end/test/fasta/mixin.dart

Index: pkg/front_end/test/fasta/mixin.dart
diff --git a/pkg/front_end/test/fasta/mixin.dart b/pkg/front_end/test/fasta/mixin.dart
index dbe5bf835ca7f9752283d4a7f6e3cd1e4580306d..e88898ed022917132ee1f12c0a93ce9223bf2cdd 100644
--- a/pkg/front_end/test/fasta/mixin.dart
+++ b/pkg/front_end/test/fasta/mixin.dart
@@ -2,6 +2,10 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
+class B extends Object with M1, M2 {
+  B(value);
+}
+
 abstract class M1 {
   m() => print("M1");
 }
@@ -11,8 +15,20 @@ abstract class M2 {
 }
 
 class C extends Object with M1, M2 {
+  C(value);
+}
+
+abstract class G1<T> {
+  m() => print(T);
+}
+
+class D<S> extends Object with G1<S> {
 }
 
 main() {
-  new C().m();
+  new B(null).m();
+  new C(null).m();
+  new D().m();
+  new D<int>().m();
+  new D<List<int>>().m();
 }