java/java-tests/testData/psi/resolve/inference/InferInAssign2.java

public class Seq<T> {
    public Seq() {}

    public Seq(T x, Seq<T> xs) {
    }

    static <T> Seq<T> nil () {
        return new Seq<T> ();
    }

    static <V> Seq<V> cons (V x, Seq<V> xs) {
        return new Seq<V> (x, xs);
    }

    static void foo() {
        Seq<String> s = <ref>cons("abc", nil());
    }
}