Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
nullness
/
constructor-initialization
/
DefaultConstructor.out
blob: 443379e6df8433bf03790347a79d7bf4477ec956 [
file
] [
log
] [
blame
] [
edit
]
DefaultConstructor
.
java
:
10
:
10
:
compiler
.
err
.
proc
.
messager
:
[
initialization
.
field
.
uninitialized
]
the
default
constructor does
not
initialize field nullObject
1
error