This should NOT compile:

import java.util.List;
interface A { <T> T foo(List<T> p); }
interface B { <S> S foo(List<S> p); }
interface C extends A, B {}

class Z {
    C c = (p) -> { return null;}; // accepted
}