diff --git a/tests/templatetest/foo/bar/Test.java b/tests/templatetest/foo/bar/Test.java index 5aed2e9a..1f681bdd 100644 --- a/tests/templatetest/foo/bar/Test.java +++ b/tests/templatetest/foo/bar/Test.java @@ -4,4 +4,14 @@ import java.lang.annotation.*; import java.util.*; -public class Test {} +public class Test { + + void exec(Map map){ + // :: error: argument + sink(map.values().iterator().next()); + } + + void sink(@RUntainted T t){ + + } +}