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