Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
dataflow
/
tests
/
issue3447
/
Test.java
blob: 2ff93c9aedae36053f245d32aa12ef2b1738ab87 [
file
] [
log
] [
blame
]
// Test case for Issue 3447:
// https://github.com/typetools/checker-framework/issues/3447
public
class
Test
{
public
void
test
()
throws
Exception
{
try
{
int
[]
myNumbers
=
{
1
};
System
.
out
.
println
(
myNumbers
[
1
]);
}
catch
(
Exception
e
)
{
}
}
}