Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
jtreg
/
variablenamedefault
/
UseTest1.out
blob: 76d721b9dffd24016d51ae00c920ffa2ca9e0e61 [
file
] [
log
] [
blame
]
UseTest
.
java
:
8
:
17
:
compiler
.
err
.
proc
.
messager
:
[
argument
]
incompatible argument
for
parameter middle of method
.
found
:
@VariableNameDefaultTop
int
required
:
@VariableNameDefaultMiddle
int
1
error