import org.checkerframework.checker.tainting.qual.*;

class Simple {

  String a(String str) {
    return str + "";
  }

  void test() {
    @Untainted String s;
    s = a<caret>(foo());
  }

  @Untainted
  String foo() {
    return "safe";
  }
}