blob: 85a84dbcf6a5532eb44396444008e2ea22885b73 [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.
class A {}
class B {}
class C implements A, B {}
promotesIfSubtype(A a) {
a as C;
/*C*/ a;
doesNotPromoteIfNotSubtype(A a) {
a as B;
doesNotPromoteIfSameType(A a) {
a as A;
class D<T extends A> {
promotesTypeParameter(T t) {
t as C;
/*T & C*/ t;