Definition.java

/** Basic test of defining a type parameter with a region parameter */

class C<type T<region R>>{}