Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
Widening.java
blob: 53f51e33e7e2cd69692790f4031a27f91115d82e [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.
Nullable
;
public
class
Widening
{
@Nullable
Integer
i
;
void
inc
(
long
amt
)
{}
void
foo
()
{
inc
(
i
==
null
?
0
:
i
);
}
}