| // Copyright (c) 2018, 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. |
| |
| class Supertype { |
| factory Supertype() = Unresolved; |
| // ^^^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.REDIRECT_TO_NON_CLASS |
| // [cfe] Couldn't find constructor 'Unresolved'. |
| // ^ |
| // [cfe] Redirection constructor target not found: 'Unresolved' |
| factory Supertype() = Unresolved; |
| // ^^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.DUPLICATE_CONSTRUCTOR |
| // ^ |
| // [cfe] 'Supertype' is already declared in this scope. |
| // ^^^^^^^^^^ |
| // [analyzer] COMPILE_TIME_ERROR.REDIRECT_TO_NON_CLASS |
| // [cfe] Couldn't find constructor 'Unresolved'. |
| // ^ |
| // [cfe] Redirection constructor target not found: 'Unresolved' |
| } |
| |
| main() { |
| print(new Supertype()); |
| // ^ |
| // [cfe] Can't use 'Supertype' because it is declared more than once. |
| } |
