1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// Unannotated version in framework/tests/all-systems/TypeVarPrimitives.java
import org.checkerframework.checker.interning.qual.*;
public class TypeVarPrimitivesInterning {
<T extends @UnknownInterned Long> void method(T tLong) {
long l = tLong;
}
<T extends @UnknownInterned Long & @UnknownInterned Cloneable> void methodIntersection(
T tLong) {
long l = tLong;
}
<T extends @Interned Long> void method2(T tLong) {
long l = tLong;
}
<T extends @Interned Long & @Interned Cloneable> void methodIntersection2(T tLong) {
long l = tLong;
}
}
|
