Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
nullness
/
issue820
/
Class1Class2-err.out
blob: 6c887808fb5a778b61855fd5de061d5651670e16 [
file
] [
log
] [
blame
]
Class1
.
java
:
29
:
22
:
compiler
.
err
.
proc
.
messager
:
(
contracts
.
postcondition
)
Class2
.
java
:
15
:
20
:
compiler
.
err
.
proc
.
messager
:
(
contracts
.
precondition
)
2
errors
