Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
RangeIndex.java
blob: ba1740e624986e9a5e82c7d735da2277ebfbd2ea [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.*;
public
class
RangeIndex
{
void
foo
(
@IntRange
(
from
=
0
,
to
=
11
)
int
x
,
int
@MinLen
(
10
)
[]
a
)
{
// :: error: (array.access.unsafe.high.range)
int
y
=
a
[
x
];
}
}