blob: 679c2e27d5d2d0c1676836d7a950e028edb2d8d3 [file] [log] [blame]
// 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;