annotation-file-utilities/tests/ImplicitUpper.goal

class ExplicitUpper<X extends @A Object> extends @B Object {
}

public class ImplicitUpper<Y extends @A Object> extends @B Object {
}

class Monomorphic extends @B Object {
}