Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
nullness
/
issue12
/
BinaryDefaultTestWithStub.out
blob: 8ee871f0eac8147c033b6c3c65e3e6c88b68ab91 [
file
] [
log
] [
blame
] [
edit
]
BinaryDefaultTest
.
java
:
16
:
73
:
compiler
.
err
.
proc
.
messager
:
[
argument
]
incompatible types
in
argument
.
found
:
@Initialized
@Nullable
BinaryDefaultTestInterface
required
:
@Initialized
@NonNull
BinaryDefaultTestInterface
1
error
