Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
FieldInit.java
blob: ead10eca6734b51dfa80cb357e2fc49e9a386651 [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.*;
public
class
FieldInit
{
// :: error: (argument) :: error: (method.invocation)
String
f
=
init
(
this
);
String
init
(
FieldInit
o
)
{
return
""
;
}
void
test
()
{
String
local
=
init
(
this
);
}
}