WrongSuperInLibrary.java

package p;
abstract class A {
  void foo(L l) {
    l.stream();
  }
}