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

/// @assertion If a name N is referenced by a library L and N would be introduced
/// into the top level scope of L by imports of two libraries, L1 and L2, and the
/// exported namespace of L1 binds N to a declaration originating in a system
/// library:
/// • The import of L1 is implicitly extended by a hide N clause.
///
/// @description Checks that if N is referenced by L and N would be introduced
/// by explicit import of 'dart:core' and library whose URI does not begin with
/// 'dart:', then compile error is issued.
/// @author ilya

import "../../../Utils/expect.dart";

import 'dart:core'; // explicit import
import "implicit_hide_lib.dart";

main() {
  Expect.equals('MYLIST', List.typename);
}