Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
FlowAssignment.java
blob: 8d77c0bdb1cbee998738d8896df6058aeafe7e64 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
FlowAssignment
{
void
test
()
{
@NonNull
String
s
=
"foo"
;
String
t
=
s
;
t
.
startsWith
(
"f"
);
}
}