| // 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. | |
| // Tests that type casts (as) are allowed. | |
| main() { | |
| const t = T.explicit(Sub()); | |
| // Inline. | |
| const Object o = ""; | |
| const len = (o as String).length; | |
| } | |
| class Super { | |
| const Super(); | |
| } | |
| class Sub extends Super { | |
| const Sub(); | |
| } | |
| class T { | |
| final Sub value; | |
| const T.explicit(Super s) : value = s as Sub; | |
| } |