Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
index
/
CastArray.java
blob: c6c779774ae7fbbfce4779db8976e7376828c4ec [
file
] [
log
] [
blame
]
public
class
CastArray
{
void
test
(
Object
a
)
{
int
[]
b
=
(
int
[])
a
;
}
}