Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
tainting
/
NewClass.out
blob: d2fb52798d42a05f6d69ff4621f77a39b2dc6c4a [
file
] [
log
] [
blame
]
NewClass
.
java
:
18
:
45
:
compiler
.
err
.
proc
.
messager
:
[
argument
]
incompatible argument
for
parameter o of
get
.
found
:
@Tainted
Object
required
:
@Untainted
Object
1
error
