Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
nullness
/
issue2318
/
RequireCheckerPrefix.2.out
blob: f72ddfe2a3ee2d44667905ed69c3dfa0a4a81ef5 [
file
] [
log
] [
blame
]
RequireCheckerPrefix
.
java
:
19
:
25
:
compiler
.
err
.
proc
.
messager
:
[
assignment
]
incompatible types
in
assignment
.
found
:
@Initialized
@Nullable
Object
required
:
@UnknownInitialization
@NonNull
Object
1
error
