// Copyright (c) 2012, 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.

import 'package:expect/expect.dart';

import 'package:compiler/src/diagnostics/messages.dart'
    show MessageKind;
import 'package:compiler/src/elements/elements.dart';
import 'package:compiler/src/elements/modelx.dart'
    show ErroneousElementX;

void main() {
  ErroneousElement e = new ErroneousElementX(MessageKind.GENERIC,
                                             {'text': 'error'},
                                             'foo', null);
  Expect.stringEquals('<foo: error>', '$e');
}