| import java.util.List; |
| import org.checkerframework.checker.interning.qual.Interned; |
| |
| /* |
| * This test case excercises the interaction between class annotations |
| * and method type argument inference. |
| * A previously existing Unqualified annotation wasn't correctly removed. |
| */ |
| public class ClassDefaults { |
| @Interned class Test {} |
| |
| public static interface Visitor<T> {} |
| |
| class GuardingVisitor implements Visitor<List<Test>> { |
| void call() { |
| test(this); |
| } |
| } |
| |
| <T> T test(Visitor<T> p) { |
| return null; |
| } |
| |
| void call(GuardingVisitor p) { |
| test(p); |
| } |
| } |