Resynthesize mixins from Kernel.

pkg/analyzer/test/src/summary/resynthesize_common.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // 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.
 
 library test.src.serialization.elements_test;
 
 import 'dart:async';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/standard_resolution_map.dart';
@@ skipping 1354 matching lines @@
     } else {
       checkElementText(library, r'''
 abstract class C {
 }
 ''');
     }
   }
 
   test_class_alias() async {
     var library = await checkLibrary('''
-class C = D with E, F;
+class C = D with E, F, G;
 class D {}
 class E {}
 class F {}
+class G {}
 ''');
-    if (isStrongMode) {
-      checkElementText(library, r'''
-class alias C extends D with E, F {
+    checkElementText(library, r'''
+class alias C extends D with E, F, G {
   synthetic C() = D;
 }
 class D {
 }
 class E {
 }
 class F {
 }
-''');
-    } else {
-      checkElementText(library, r'''
-class alias C extends D with E, F {
-  synthetic C() = D;
-}
-class D {
-}
-class E {
-}
-class F {
+class G {
 }
 ''');
-    }
   }
 
   test_class_alias_abstract() async {
     var library = await checkLibrary('''
 abstract class C = D with E;
 class D {}
 class E {}
 ''');
     if (isStrongMode) {
       checkElementText(library, r'''
@@ skipping 50 matching lines @@
   synthetic C() = D;
 }
 class D {
 }
 class E {
 }
 ''');
     }
   }
 
+  test_class_alias_generic() async {
+    var library = await checkLibrary('''
+class Z = A with B<int>, C<double>;
+class A {}
+class B<B1> {}
+class C<C1> {}
+''');
+    checkElementText(library, r'''
+class alias Z extends A with B<int>, C<double> {
+  synthetic Z() = A;
+}
+class A {
+}
+class B<B1> {
+}
+class C<C1> {
+}
+''');
+  }
+
   test_class_alias_with_forwarding_constructors() async {
     addLibrarySource('/a.dart', '''
 class Base {
   Base._priv();
   Base();
   Base.noArgs();
   Base.requiredArg(x);
   Base.positionalArg([x]);
   Base.namedArg({x});
   factory Base.fact() => null;
@@ skipping 1071 matching lines @@
       checkElementText(library, r'''
 class C {
   dynamic f() {}
   dynamic g() {}
 }
 ''');
     }
   }
 
   test_class_mixins() async {
-    var library = await checkLibrary(
-        'class C extends Object with D, E {} class D {} class E {}');
-    if (isStrongMode) {
-      checkElementText(library, r'''
-class C extends Object with D, E {
+    var library = await checkLibrary('''
+class C extends D with E, F, G {}
+class D {}
+class E {}
+class F {}
+class G {}
+''');
+    checkElementText(library, r'''
+class C extends D with E, F, G {
   synthetic C();
 }
 class D {
 }
 class E {
 }
-''');
-    } else {
-      checkElementText(library, r'''
-class C extends Object with D, E {
-  synthetic C();
+class F {
 }
-class D {
-}
-class E {
+class G {
 }
 ''');
-    }
+  }
+
+  test_class_mixins_generic() async {
+    var library = await checkLibrary('''
+class Z extends A with B<int>, C<double> {}
+class A {}
+class B<B1> {}
+class C<C1> {}
+''');
+    checkElementText(library, r'''
+class Z extends A with B<int>, C<double> {
+  synthetic Z();
+}
+class A {
+}
+class B<B1> {
+}
+class C<C1> {
+}
+''');
   }
 
   test_class_mixins_unresolved() async {
     var library = await checkLibrary(
         'class C extends Object with X, Y, Z; class X {} class Z {}',
         allowErrors: true);
     if (isStrongMode) {
       checkElementText(library, r'''
 class C extends Object with X, Z {
   synthetic C();
@@ skipping 10571 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }