blob: 34efe1543fd72db1f37cf7dd28dd52eca1cdcf9a [file] [log] [blame]
// Copyright (c) 2017, 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.
// @dart = 2.9
abstract class A<T extends A<T>> {}
abstract class B<T extends A<T>> {}
class C<U> extends B<D<U>> {}
class D<U> extends A<D<U>> {}
main() {
new D();
new C();
new D<C>();
new C<D>();