blob: ed1dbe14a94cb22609f898b34e99170e2a2dcb40 [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.
*/
/**
* @description Regression test for the Issue 34636 (Analyzer does not throw
* compile error for incorrect class (whereas dart does it)). Checks that
* compile error appears when compile the following classes: [A<X extends B>],
* [B<X extends C>], [C<X extends A<B>>].
* @compile-error
* @author iarkh@unipro.ru
*/
class A<X extends B> {}
class B<X extends C> {}
class C<X extends A<B>> {}
main() {
print("OK");
}