Issue270.java

import org.checkerframework.checker.nullness.qual.*;

//::error: (bound.type.incompatible)
class Issue270<@Nullable TypeParam extends @NonNull Object> {
    public static void main() {

        //::error: (type.argument.type.incompatible)
        @Nullable Issue270<@Nullable String> strWAtv = null;
        //::error: (type.argument.type.incompatible)
        @Nullable Issue270<@NonNull Integer> intWAtv = null;
    }
}