1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
import org.checkerframework.checker.fenum.qual.Fenum;
import testlib.lib.UncheckedByteCode;
public class UpperBoundsInByteCode {
UncheckedByteCode<@Fenum("Foo") String> foo;
UncheckedByteCode<@Fenum("Bar") Object> bar;
void typeVarWithNonObjectUpperBound(@Fenum("A") int a) {
// :: error: (type.argument.type.incompatible)
UncheckedByteCode.methodWithTypeVarBoundedByNumber(a);
UncheckedByteCode.methodWithTypeVarBoundedByNumber(1);
}
void wildcardsInByteCode() {
UncheckedByteCode.unboundedWildcardParam(foo);
UncheckedByteCode.lowerboundedWildcardParam(bar);
// :: error: (argument.type.incompatible)
UncheckedByteCode.upperboundedWildcardParam(foo);
}
// :: error: (type.argument.type.incompatible)
SourceCode<@Fenum("Foo") String> foo2;
class SourceCode<T extends Object> {}
}
|
