blob: 54afdd3962d7550f33c7ab7336798ee2b5a1ffdc [file] [log] [blame]
* Copyright (c) 2011, 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 The type parameters of a generic G are in scope in the bounds of
* all of the type parameters of G. The type parameters of a generic class
* declaration G are also in scope in the extends and implements clauses of G
* (if these exist) and in the body of G.
* @description Checks that example of F-bounded quantification is parsed
* correctly.
* @author kaigorodov
class Enum<E extends Enum<E>> {}
class Things extends Enum<Things> {}
class SubThings extends Things {}
main() {
var x1 = new Enum<Things>();
var x2 = new Things();
var x3 = new SubThings();