| // Copyright (c) 2019, 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. |
| |
| // SharedOptions=--enable-experiment=non-nullable |
| |
| // Test that it is an error to do what was once allowed as an "implicit |
| // downcast." |
| main() { |
| num asNum = 1; |
| Object asObject = 1; |
| dynamic asDynamic = 1; |
| int asInt1 = asNum; //# 01: compile-time error |
| double asDouble1 = asNum; //# 02: compile-time error |
| int asInt2 = asObject; //# 03: compile-time error |
| double asDouble2 = asObject; //# 04: compile-time error |
| String asString1 = asObject; //# 05: compile-time error |
| int asInt3 = asDynamic; //# 06: ok |
| } |
