Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
FlowSelf.java
blob: 8a49f5b8508c486788cc2f5768e6195ab81f3213 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
FlowSelf
{
void
test
(
@Nullable
String
s
)
{
if
(
s
==
null
)
{
return
;
}
// :: warning: (nulltest.redundant)
assert
s
!=
null
;
s
=
s
.
substring
(
1
);
}
}