File: Issue1587b.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26
file content (33 lines) | stat: -rw-r--r-- 891 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
abstract class Issue1587b {

    static class One implements Two<One, Three, Four, Four> {}

    interface Two<
            E extends Two<E, K, C, I>, K extends Five<K>, C extends Enum<C>, I extends Enum<I>> {}

    abstract static class Three implements Five<Three> {}

    enum Four {}

    interface Five<K extends Five<K>> extends Comparable<K> {}

    interface Six {
        <E extends Two<E, ?, ?, I>, I extends Enum<I>> Seven<?, E> e(Class<E> entity);
    }

    interface Seven<T extends Seven<T, E>, E extends Two<E, ?, ?, ?>> extends Eight<T, E, E> {}

    interface Eight<T extends Eight<T, R, E>, R, E extends Two<E, ?, ?, ?>> extends Nine<T, R> {}

    interface Nine<T extends Nine<T, R>, R> {
        T d();

        Iterable<R> q();
    }

    public Iterable<One> f(Six e) {
        return g(e.e(One.class).d().q());
    }

    abstract Iterable<One> g(Iterable<One> r);
}