Resynthesize mixins from Kernel.

pkg/kernel/lib/binary/ast_from_binary.dart

 // Copyright (c) 2016, 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 kernel.ast_from_binary;
 
 import 'dart:convert';
 import 'dart:typed_data';
 
 import '../ast.dart';
 import '../transformations/flags.dart';
@@ skipping 445 matching lines @@
     var reference = canonicalName.getReference();
     Class node = reference.node;
     bool shouldWriteData = node == null || _isReadingLibraryImplementation;
     if (node == null) {
       node = new Class(reference: reference)..level = ClassLevel.Temporary;
     }
     node.fileOffset = readOffset();
     node.fileEndOffset = readOffset();
     int flags = readByte();
     node.isAbstract = flags & 0x1 != 0;
-    int levelIndex = (flags >> 1) & 0x3;
+    node.isSyntheticMixinImplementation = flags & 0x2 != 0;
+    int levelIndex = (flags >> 2) & 0x3;

[Siggi Cherem (dart-lang), 2017/07/21 16:46:43]

just to double check - in C++ they don't need to deserialize the flags? (is that
why there is no corresponding change in the c++ side?)

[scheglov, 2017/07/21 16:49:37]

Correct. In C++ the code reads the byte and uses just one bit.
      case kIsAbstract:
        is_abstract_ = builder_->ReadBool();  // read is_abstract.
        if (++next_read_ == field) return;

     var level = ClassLevel.values[levelIndex + 1];
     if (level.index >= node.level.index) {
       node.level = level;
     }
     var name = readStringOrNullIfEmpty();
     var fileUri = readUriReference();
     var documentationComment = readStringOrNullIfEmpty();
     var annotations = readAnnotationList(node);
     debugPath.add(node.name ?? 'normal-class');
     readAndPushTypeParameterList(node.typeParameters, node);
@@ skipping 764 matching lines @@
       ..fileOffset = offset
       ..fileEqualsOffset = fileEqualsOffset;
   }
 
   int readOffset() {
     // Offset is saved as unsigned,
     // but actually ranges from -1 and up (thus the -1)
     return readUInt() - 1;
   }
 }