Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
java8
/
DefaultMethods.java
blob: 80f9addca588f69236cf59145c9c4d939b8038c1 [
file
] [
log
] [
blame
]
interface
DefaultMethods
{
default
void
method
(
String
param
)
{
// :: error: (assignment)
param
=
null
;
String
s
=
null
;
// :: error: (dereference.of.nullable)
s
.
toString
();
// Ensure dataflow is running
s
=
""
;
s
.
toString
();
}
}