// Test case for Issue 240: | |
// https://github.com/typetools/checker-framework/issues/240 | |
import org.checkerframework.checker.nullness.qual.Nullable; | |
class I<A> {} | |
// This should compile, because the implicit upper | |
// bound of I is "@Nullable Object" | |
class Use extends I<@Nullable String> {} | |
class I2<A extends Object> {} | |
// This use must be an error. | |
// :: error: (type.argument) | |
class Use2 extends I2<@Nullable String> {} |