Rewrite mixin application handling in Fasta.

pkg/front_end/testcases/mixin.dart.outline.expect

Index: pkg/front_end/testcases/mixin.dart.outline.expect
diff --git a/pkg/front_end/testcases/mixin.dart.outline.expect b/pkg/front_end/testcases/mixin.dart.outline.expect
index cdba6feedc4f069c89b6c06587ae244390262a16..3dc6a7bf420ea6a441625893c19fee9575ebd048 100644
--- a/pkg/front_end/testcases/mixin.dart.outline.expect
+++ b/pkg/front_end/testcases/mixin.dart.outline.expect
@@ -2,6 +2,10 @@ library;
 import self as self;
 import "dart:core" as core;
 
+abstract class Object&M1 = core::Object with self::M1 {
+}
+abstract class Object&M1&M2 = self::Object&M1 with self::M2 {
+}
 class B extends self::Object&M1&M2 {
   constructor •(dynamic value) → void
     ;
@@ -28,15 +32,11 @@ abstract class G1<T extends core::Object> extends core::Object {
   method m() → dynamic
     ;
 }
-class D<S extends core::Object> extends self::D^G1<self::D::S> {
+abstract class Object&G1^^#T0<#T0 extends core::Object> = core::Object with self::G1<self::Object&G1^^#T0::#T0> {
+}
+class D<S extends core::Object> extends self::Object&G1^^#T0<self::D::S> {
   constructor •() → void
     ;
 }
-abstract class Object&M1 = core::Object with self::M1 {
-}
-abstract class Object&M1&M2 = self::Object&M1 with self::M2 {
-}
-abstract class D^G1<S extends core::Object> = core::Object with self::G1<self::D^G1::S> {
-}
 static method main() → dynamic
   ;