Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
value
/
GTETransferBug.java
blob: fb4e9420f15793c6c33e50dc756e2747318b9a29 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
common
.
value
.
qual
.*;
public
class
GTETransferBug
{
void
gte_bad_check
(
int
[]
a
)
{
if
(
a
.
length
>=
1
)
{
// :: error: (assignment)
int
@ArrayLenRange
(
from
=
2
)
[]
b
=
a
;
int
@ArrayLenRange
(
from
=
1
)
[]
c
=
a
;
}
}
}