// 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);
    }
}