File: Bug13.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (36 lines) | stat: -rw-r--r-- 1,104 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
34
35
36
package inference.guava;

import java.util.Spliterator;
import java.util.stream.Stream;

@SuppressWarnings("") // Just check for crashes.
public class Bug13 {

    public static class MyClass<X> extends MySuperClass<X> {
        static <Z> Stream<Z> stream(MyClass<Z> s, Iterable<Z> iterable) {
            throw new RuntimeException();
        }

        public void method(final Iterable<X> iterable) {
            Spliterator<X> x = Stream.generate(() -> iterable).flatMap(super::stream).spliterator();
        }
    }

    public static class MySuperClass<Z> {
        Stream<Z> stream(Iterable<Z> iterable) {
            throw new RuntimeException();
        }

        static <Z> Stream<Z> stream(MySuperClass<Z> s, Iterable<Z> iterable) {
            throw new RuntimeException();
        }
    }

    public static <Q> void method(final Iterable<Q> iterable, MyClass<Q> myClass) {
        Spliterator<Q> x = Stream.generate(() -> iterable).flatMap(myClass::stream).spliterator();
    }

    public static <Z> Stream<Z> stream(Iterable<Z> iterable) {
        throw new RuntimeException();
    }
}