在返回类型也是方法参数的上限和下限的情况下，如何推断类型

假设我们有以下代码：

class A {}

class B extends A {}

class C extends B {}

public static <T> T testMe(List<? super T> list1,List<? extends T> list2) {
    return null;
}

public static void main(String[] args) {
    List<B> listB = new ArrayList<>();
    List<C> listC = new ArrayList<>();
    // All three variants are possible:
    A a=testMe(listB, listC);
    B b=testMe(listB, listC);
    C c=testMe(listB, listC);
}

问题是关于public static <T> T testMe(List<? super T> list1,List<? extends T> list2)。编译器如何确定T类型，如果如有三类：A,B,C,？当我分析时出现了这个问题Collections.copy。