Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness-extra
/
Bug109_A.java
blob: b3019e2a01c42eebbec8e0ee599b49bb5fb65011 [
file
] [
log
] [
blame
]
public
class
Bug109_A
{
int
one
=
"1"
.
length
();
// fix 1: public final int one; { one = "1".length(); }
// fix 2: public final int one = 0 + "1".length();
int
nl
=
5
;
int
two
=
nl
;
}