// 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;
}