From 1d0f79d23f42c6036f79e01a45ce1f79ef770d5f Mon Sep 17 00:00:00 2001 From: nimakarimipour Date: Thu, 10 Oct 2024 10:04:58 -0500 Subject: [PATCH] add type arg index --- tests/templatetest/foo/bar/Test.java | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) 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){ + + } +}