Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
index
/
valuestub
/
UseTest.java
blob: 4be77b34b5fc71e1059c715e7d669b2c307b77b7 [
file
] [
log
] [
blame
]
package
valuestub
;
import
org
.
checkerframework
.
checker
.
index
.
qual
.
IndexOrHigh
;
public
class
UseTest
{
void
test
(
Test
t
)
{
@IndexOrHigh
(
"t"
)
int
x
=
t
.
length
();
}
}