Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
checker
/
tests
/
command-line
/
issue618
/
expected.txt
blob: 76ee06a86ae8cd7947dce22a92238ae44c87350a [
file
] [
log
] [
blame
]
TwoCheckers.java:28: error: [argument] incompatible argument for parameter b of requiresUntainted.
requiresUntainted(a);
^
found : @Tainted String
required: @Untainted String
1 error
