/*
 * @test
 * @summary Test for bug where arguments to constructors were visited twice.
 *
 * @compile/fail/ref=NewClass.out -XDrawDiagnostics -processor org.checkerframework.checker.tainting.TaintingChecker -Alint NewClass.java
 */

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

public class NewClass {
    public NewClass(Object param) {}

    Object get(@Untainted Object o) {
        return o;
    }

    void test() {
        NewClass newClass = new NewClass(get(get("")));
    }
}
