Controllo tipo interrotto sull'acquisizione corrispondente con limite superiore?

Question

Creare una classe come

public class Play { 
    public static void main(String[] args) throws Exception { 
     outer(Integer.class, inner("abc")); 
    } 

    static <C> void outer(Class<C> c, List<? super C> s){ 
    } 

    static <C> List<C> inner(C c) { 
     return null; 
    } 
} 

e compila in Java 8! (Sia in Eclipse 4.5 e JDK1.8_25) https://ideone.com/Q9JLHP

In Eclipse, tutti i limiti sono desunti correttamente, ma come potrebbe catturare Supplier<? super Integer>outer 's state mai soddisfatti con l'argomento Supplier<String> ??

Modifica: chiarito questo è specifico di Java 8 e ha reso l'esempio meno confuso.

Answer 1

inner("abc") può, a discrezione del compilatore, essere interpretato come Supplier di qualsiasi supertipo di String. - per esempio,

Supplier<Object> inner = inner("abc"); 

funziona bene, perché è "abc"anche un Object. Ecco cosa sta succedendo qui: inner ti restituisce un Supplier<Object>.