/* | |
* 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 is introduced into | |
* the top level scope L by more than one import, and not all the imports denote | |
* the same declaration, then: | |
* • A static warning occurs. | |
* • If N is referenced as a function, getter or setter, a NoSuchMethodError is | |
* raised. | |
* • If N is referenced as a type, it is treated as a malformed type. | |
* It is neither an error nor a warning if N is introduced by two or more | |
* imports but never referred to. | |
* @description Checks that it is a compile-time error if two different | |
* libraries introduce the same name to the top level scope of L and L uses | |
* it as a type name reference in an extends clause. | |
* @compile-error | |
* @author rodionov | |
* @reviewer kaigorodov | |
*/ | |
import "same_name_t01_p1_lib.dart"; | |
import "same_name_t01_p2_lib.dart"; | |
class Foo2 extends foo { | |
} | |
main() { | |
try { | |
new Foo2(); | |
} catch (anything) {} | |
} |