Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
generics
/
WildcardSubtypingTypeArray.java
blob: e202a66691677016bb2218b4e77cce20d2c26332 [
file
] [
log
] [
blame
]
import
java
.
util
.
List
;
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
WildcardSubtypingTypeArray
<
A
extends
@Nullable
Object
>
{
void
test
(
List
<?
extends
A
>
list
)
{
test2
(
list
.
get
(
0
));
}
void
test2
(
A x
)
{}
}