org.eclipse.jdt.ui.tests.refactoring/resources/InferTypeArguments/testCuMethodAndTypeGeneric02/in/A.java

package p;

class A {
    void call(Ex ex) {
        ex.method("Eclipse1", new Integer(1));
        Top top= ex;
        top.method("Eclipse2", new Integer(2));
    }
}

class Top<TC> {
    <TM> void method(TC cTop, TM mTop) {}
}

class Ex<C extends String> extends Top<C> {
    <M extends Integer> void method(C cEx, M mEx) {}
}