Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
FlowConstructor2.java
blob: 06b8409cb8c9d8d5eef1c99b5046c47f1d314405 [
file
] [
log
] [
blame
]
public
class
FlowConstructor2
{
String
f
;
public
FlowConstructor2
()
{
// :: error: (dereference.of.nullable)
f
.
hashCode
();
}
}