| // Test case from pull request 880: |
| // https://github.com/typetools/checker-framework/pull/880 |
| // Test might also be relevant to issue 989: |
| // https://github.com/typetools/checker-framework/issues/989 |
| // Also note a test that uses multiple compilation units at: |
| // checker/jtreg/nullness/annotationsOnExtends/ |
| |
| import java.io.Serializable; |
| import java.util.List; |
| import org.checkerframework.checker.nullness.qual.NonNull; |
| |
| class TFPR880Test implements Serializable {} |
| |
| class TFPR880Use { |
| void foo() { |
| TFPR880Test other = null; |
| } |
| } |
| |
| abstract class TFPR880TestSub extends TFPR880Test implements List<@NonNull String> {} |
| |
| class TFPR880SubUse { |
| void foo() { |
| TFPR880TestSub other = null; |
| } |
| } |