File: Bug13.java

package info (click to toggle)
checker-framework-java 3.0.1%2Bds2-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 22,736 kB
  • sloc: java: 145,286; xml: 785; sh: 456; 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();
    }
}