// Test case for Issue 1408.
// https://github.com/typetools/checker-framework/issues/1408
abstract class Issue1408 {
  interface Demo {}

  interface SubDemo extends Demo {}

  abstract <S> S foo(S p1, S p2);

  abstract <T extends Demo> T bar(T p2);

  SubDemo demo(SubDemo p) {
    return foo(bar(p), p);
  }
}