ClassCastException lors de la capture d'un lambda sérialisable avec des paramètres de type intersection

Question

J'ai répliqué une exception lancée en essayant d'utiliser type intersection de type variable pour capturer lambdas; Plus précisément, de reproduire, je tentais d'attraper un lambda comme F où <A, F extends Consumer<A> & Serializable>:

public class Consumers { 

    public static <A, F extends Consumer<A> & Serializable> 
    Consumer<A> serializable(F action) { 
     return action; 
    } 

    public static <A> Consumer<A> vary(Consumer<? super A> action) {...} 

    private static final Consumer<Object> DOES_NOTHING = 
      serializable(a -> {}); 

    public static <A> Consumer<A> doesNothing() { 
     return vary(DOES_NOTHING); 
    } 

    ... 
} 

Consumer<String> action = Consumers.doesNothing(); // throws class cast exception 

Voici un exemple de l'exception levée:

java.lang.ClassCastException: [insert lambda name] cannot be cast to java.util.function.Consumer 

Je suis en mesure d'utiliser Consumers.serializable avec ou locale variables d'instance; cette exception est levée lorsque vous essayez d'initialiser des variables statiques.

Est-ce correct? J'utilise le dernier Eclipse Oxygen, JDK u112.

Answer 1

Cela ne devrait pas être autorisé: javac se plaint:

Consumers.java:??: error: incompatible types: cannot infer type-variable(s) A,F 
      serializable(a -> {}); 
         ^
    (argument mismatch; Consumer<Object> cannot be converted to INT#1) 
    where A,F are type-variables: 
    A extends Object declared in method <A,F>serializable(F) 
    F extends Consumer<A>,Serializable declared in method <A,F>serializable(F) 
    where INT#1 is an intersection type: 
    INT#1 extends Object,Serializable,Consumer<Object> 

Il est en fait un compilateur Eclipse bug, fixé à 4,6 M6 (Neon), et il a déjà été remarqué dans ce other question.