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