Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
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