Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
stubs
/
issue2147
/
WithStub.out
blob: a1a85bf922f70a01c608e0e042aadc3acd834c40 [
file
] [
log
] [
blame
]
EnumStubTest
.
java
:
16
:
27
:
compiler
.
err
.
proc
.
messager
:
[
argument
]
incompatible argument
for
parameter sEnum of requireEnum
.
found
:
@Tainted
SampleEnum
required
:
@Untainted
SampleEnum
1
error