| // Copyright (c) 2016, 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 A type T is deferred iff it is of the form p.T where p is a |
| /// deferred prefix. It is a static warning to use a deferred type in a type |
| /// annotation, type test, type cast or as a type parameter. However, all other |
| /// static warnings must be issued under the assumption that all deferred |
| /// libraries have successfully been loaded. |
| /// @description Checks that it is a static warning if a deferred type is used |
| /// in a type annotation, type test, type cast or as a type parameter. |
| /// @author ngl@unipro.ru |
| |
| import "../somelib1.dart" deferred as p1; |
| |
| main() { |
| p1.C? o1; |
| //^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| } |
