La vérification de type est-elle interrompue lors de la capture correspondante avec limite supérieure?

Question

Créer une classe comme

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; 
    } 
} 

et compile en Java 8! (Dans Eclipse 4.5 et JDK1.8_25) https://ideone.com/Q9JLHP

Dans Eclipse, toutes les bornes sont correctement inféré, mais comment outer est capture Supplier<? super Integer> jamais été satisfaite par l'argument Supplier<String> ?? Editer: clarifié c'est spécifique à Java 8 et a rendu l'exemple moins confus.

Answer 1

inner("abc") peut, à la discrétion du compilateur, être interprété comme un Supplier de tout supertype de String. - par exemple,

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

fonctionne très bien, parce que "abc" est aussi un Object. C'est ce qui se passe ici: inner vous renvoie un Supplier<Object>.