Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
NegativeIndex.java
blob: f21fc10217a34c038907a47fdbb6b973a02f5114 [
file
] [
log
] [
blame
]
// Test case for kelloggm#216
// https://github.com/kelloggm/checker-framework/issues/216
import
org
.
checkerframework
.
common
.
value
.
qual
.*;
public
class
NegativeIndex
{
@SuppressWarnings
(
"lowerbound"
)
void
m
(
int
[]
a
)
{
int
x
=
a
[-
100
];
}
}