Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
TypeArrayLengthWithSameLen.java
blob: e134075123c4a58c8799da5bdfa579cce4062aeb [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
index
.
qual
.*;
public
class
TypeArrayLengthWithSameLen
{
void
test
(
int
@SameLen
(
"#2"
)
[]
a
,
int
@SameLen
(
"#1"
)
[]
b
,
int
[]
c
)
{
if
(
a
.
length
==
c
.
length
)
{
@LTEqLengthOf
({
"a"
,
"b"
,
"c"
})
int
x
=
b
.
length
;
}
}
}