Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
CheckNotNull1.java
blob: dcc185472904a7bce4df11dbe8bbda751ec3f294 [
file
] [
log
] [
blame
]
public
class
CheckNotNull1
{
<
T
extends
Object
>
T checkNotNull
(
T ref
)
{
return
ref
;
}
<
S
extends
Object
>
void
test
(
S ref
)
{
checkNotNull
(
ref
);
}
}