Wildcards.java

// Test case for issue #234.

import java.util.Iterator;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;

public class Wildcards {

    public static void client1(List<String> strings) {
        join1(strings.iterator());
        join2(strings.iterator());
        join3(strings.iterator());
        join4(strings.iterator());
    }

    public static void client2(Iterator<String> itor) {
        join1(itor);
        join2(itor);
        join3(itor);
        join4(itor);
    }

    public static void client3(Iterator<String> itor) {
        Iterator<?> parts1 = itor;
        Iterator<? extends Object> parts2 = itor;
        Iterator<? extends @Nullable Object> parts3 = itor;
        Iterator<? extends @NonNull Object> parts4 = itor;
    }

    static void join1(Iterator<?> parts) {}

    static void join2(Iterator<? extends Object> parts) {}

    static void join3(Iterator<? extends @Nullable Object> parts) {}

    static void join4(Iterator<? extends @NonNull Object> parts) {}
}