Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
init
/
Uninit14.java
blob: b6fc2131200f1f97acab0d1c3043e00427f04314 [
file
] [
log
] [
blame
]
// Test case for Issue 144 (now fixed):
// https://github.com/typetools/checker-framework/issues/144
public
class
Uninit14
{
private
final
Object
o
;
{
try
{
o
=
new
Object
();
}
catch
(
Exception
e
)
{
throw
new
RuntimeException
(
e
);
}
}
}