| // 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. |
| // |
| // Unresolved symbols should be reported as static type warnings. |
| // This should not prevent execution. |
| |
| #library("Prefix21NegativeTest.dart"); |
| #import("library12.dart", prefix:"lib12"); |
| |
| class myClass { |
| myClass(lib12.Library13 p) { /// static type warning |
| } |
| } |
| |
| main() { |
| new myClass(null); // no dynamic type error when assigning null |
| } |