Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
Issue2505.java
blob: 5318f5b3626b17c5e039975f8bd27dc9a62a196b [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.
MinLen
;
public
class
Issue2505
{
public
static
void
warningIfStatement
(
int
@MinLen
(
1
)
[]
a
)
{
int
i
=
a
.
length
;
if
(--
i
>=
0
)
{
a
[
i
]
=
0
;
}
}
}