Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
Issue765.java
blob: 10d54fdadc5f0409643e411233184f40a5f38e58 [
file
] [
log
] [
blame
]
// Test case for Issue 765
// https://github.com/typetools/checker-framework/issues/765
public
class
Issue765
{
Thread
thread
=
new
Thread
()
{};
void
execute
()
{
thread
=
new
Thread
()
{
@Override
public
void
run
()
{}
};
thread
.
start
();
}
}