Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness-skipdefs
/
SkipDefs1.java
blob: 63f2749fc7e32f8b0e1405933e22115da189873d [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
SkipDefs1
{
static
class
SkipMe
{
static
Object
foo
()
{
return
null
;
}
}
static
class
DontSkip
{
static
Object
foo
()
{
// :: error: (return)
return
null
;
}
}
}