Lambda and method reference inference

[Remi Forax]

I think i've already raised this point in August during the face to face 
meeting and at that time nobody care, maybe this time, I will have more 
chance :)

with
     interface A<T> {
       T foo(T a, T a2);
     }

this compile:
     A<Integer> b = Integer::plus;    // with plus defined as int 
plus(int,int)

but not this one:
     A<Integer> c = (int x, int y) -> x + y;


Can we, please, have the same rules for both method references and 
lambdas that have their type of parameters specified ?

cheers,
Rémi