subst7.java

class B {
    void bar(A<String> a) {
        a.<Int>foo()
    }
}