blob: f6f316e4b88907d60a768622f611f3a5842b6ad6 [file] [log] [blame]
// Copyright (c) 2018, 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.
/// @assertion We say that a type T0 is a subtype of a type T1 (written T0 <: T1)
/// when:
/// Super-Interface: T0 is an interface type with super-interfaces S0,...Sn
/// - and Si <: T1 for some i
/// @description Check that if there is no i, such that Si <: T1, then T0 is not
/// subtype of T1
/// @author
class T1 {
const T1();
// Missing subtype relation to T1
abstract class S0 {}
abstract class S1 {}
abstract class S2 {}
abstract class T0 implements S0, S1, S2 {}
class T implements T0 {}
T0 t0Instance = new T();
T1 t1Instance = new T1();
const t1Default = const T1();
//# @T0 = T0
//# @T1 = T1