Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
Issue563.java
blob: 238c37803c63087119c7b9ac6654c501debc8e2d [
file
] [
log
] [
blame
] [
edit
]
// Test case for Issue 563:
// https://github.com/typetools/checker-framework/issues/563
public
class
Issue563
{
void
bar
()
{
Object
x
=
null
;
if
(
Object
.
class
.
isInstance
(
x
))
{
x
.
toString
();
}
}
}