// Test case for part of issue 1307: | |
// https://github.com/typetools/checker-framework/issues/1307 | |
import org.checkerframework.checker.nullness.qual.*; | |
import org.checkerframework.framework.qual.*; | |
@DefaultQualifier(value = Nullable.class, locations = TypeUseLocation.FIELD) | |
@DefaultQualifier(value = Nullable.class, locations = TypeUseLocation.PARAMETER) | |
public class Issue1307 { | |
Object nullableField = null; | |
void perl(Integer a) { | |
a = null; | |
} | |
} |