Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
value
/
Alias.java
blob: 16c7ce21ac7fa4dee1d63834b82124c50f59932e [
file
] [
log
] [
blame
]
import
android
.
support
.
annotation
.
IntRange
;
public
class
Alias
{
public
void
androidIntRange
()
{
// :: error: (assignment)
@IntRange
(
from
=
0
,
to
=
10
)
int
j
=
13
;
// :: error: (assignment)
@IntRange
(
from
=
0
)
int
k
=
-
1
;
}
}