TaintingDiamondInference.java

// Test case for issue #660: https://github.com/typetools/checker-framework/issues/660

// The test is skipped until the issue is fixed:
// @skip-test

import java.util.Set;
import java.util.TreeSet;
import org.checkerframework.checker.tainting.qual.Untainted;

public class TaintingDiamondInference {

    private @Untainted Set<@Untainted String> s;

    public TaintingDiamondInference() {
        s = new @Untainted TreeSet<>();
        s = new @Untainted TreeSet<@Untainted String>();
    }
}