Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
index
/
NegativeArray.java
blob: 7335ce6af514526fbc5b09386a2217c7fa4dce05 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.
GTENegativeOne
;
public
class
NegativeArray
{
public
static
void
negativeArray
(
@GTENegativeOne
int
len
)
{
// :: error: (array.length.negative)
int
[]
arr
=
new
int
[
len
];
}
}