// 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.

// @dart = 2.9

library package1;

import 'package2.dart' as p1;
import 'package2.dart' as p2;
import 'package:package2.dart' as p3;

main() {
  if (!identical(p1.x, p2.x)) {
    throw new Error("Not identical");
  }
  if (!identical(p1.x, p3.x)) {
    throw new Error("Not identical");
  }
}