// Test case for Issue 1417.
// https://github.com/typetools/checker-framework/issues/1417

public class Issue1417 {
  interface Bar {}

  interface SubBar extends Bar {}

  interface Barber<S extends Bar> {
    S call(S s);
  }

  abstract class Crash12 {
    abstract void foo(Barber<?> b);

    void crash() {
      foo((SubBar p) -> p);
    }
  }
}