pkg/front_end/testcases/instantiate_to_bound/non_simple_bound_due_to_variables.dart

// 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.

// This test checks that a compile-time error is generated when instantiate to
// bound can't be applied due to raw types with non-simple bounds.  The
// non-simplicity in this test is due to dependencies between type variables.

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

B b = throw '';

extension C<TypeU extends A> on int {}

typedef D<TypeU extends A> = int;

main() {}