Use failedAt in more places

pkg/compiler/lib/src/serialization/serialization.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 dart2js.serialization;
 
 import 'package:front_end/src/scanner/token.dart' show TokenType;
 
 import '../common.dart';
 import '../common/resolution.dart';
@@ skipping 714 matching lines @@
         }
 
         if (element.isLibrary) {
           LibraryElement library = element;
           _elementMap[element] = dataObject = new DataObject(
               new IntValue(_elementMap.length),
               new EnumValue(SerializedElementKind.EXTERNAL_LIBRARY));
           ObjectEncoder encoder = new ObjectEncoder(this, dataObject.map);
           encoder.setUri(Key.URI, library.canonicalUri, library.canonicalUri);
         } else if (element.isConstructor) {
-          assert(invariant(
-              element,
+          assert(
               verifyElement(
                   element.enclosingClass.implementation
                       .lookupConstructor(element.name),
                   element),
-              message: "Element $element is not found as a "
+              failedAt(
+                  element,
+                  "Element $element is not found as a "
                   "constructor of ${element.enclosingClass.implementation}."));
           Value classId = _getElementId(element.enclosingClass);
           _elementMap[element] = dataObject = new DataObject(
               new IntValue(_elementMap.length),
               new EnumValue(SerializedElementKind.EXTERNAL_CONSTRUCTOR));
           ObjectEncoder encoder = new ObjectEncoder(this, dataObject.map);
           encoder.setValue(Key.CLASS, classId);
           encoder.setString(Key.NAME, element.name);
         } else if (element.isClassMember) {
-          assert(invariant(
-              element,
+          assert(
               verifyElement(
                   element.enclosingClass.lookupLocalMember(element.name),
                   element),
-              message: "Element $element is not found as a "
+              failedAt(
+                  element,
+                  "Element $element is not found as a "
                   "class member of ${element.enclosingClass}."));
           Value classId = _getElementId(element.enclosingClass);
           _elementMap[element] = dataObject = new DataObject(
               new IntValue(_elementMap.length),
               new EnumValue(SerializedElementKind.EXTERNAL_CLASS_MEMBER));
           ObjectEncoder encoder = new ObjectEncoder(this, dataObject.map);
           encoder.setValue(Key.CLASS, classId);
           encoder.setString(Key.NAME, element.name);
           if (element.isAccessor) {
             encoder.setBool(Key.GETTER, element.isGetter);
           }
         } else {
-          assert(invariant(
-              element,
+          assert(
               verifyElement(
                   element.library.implementation.find(element.name), element),
-              message: "Element $element is not found as a "
+              failedAt(
+                  element,
+                  "Element $element is not found as a "
                   "library member of ${element.library.implementation}."));
           Value libraryId = _getElementId(element.library);
           _elementMap[element] = dataObject = new DataObject(
               new IntValue(_elementMap.length),
               new EnumValue(SerializedElementKind.EXTERNAL_LIBRARY_MEMBER));
           ObjectEncoder encoder = new ObjectEncoder(this, dataObject.map);
           encoder.setValue(Key.LIBRARY, libraryId);
           encoder.setString(Key.NAME, element.name);
           if (element.isAccessor) {
             encoder.setBool(Key.GETTER, element.isGetter);
@@ skipping 367 matching lines @@
 
   /// Returns the value used to store [key] as a property in the encoding an
   /// [ObjectValue].
   ///
   /// Different encodings have different restrictions and capabilities as how
   /// to store a [Key] value. For instance: A JSON encoding needs to convert
   /// [Key] to a [String] to store it in a JSON object; a Dart encoding can
   /// choose to store a [Key] as an [int] or as the [Key] itself.
   getObjectPropertyValue(Key key);
 }