compiler/testData/loadJava/compiledJava/mutability/ReadOnlyExtendsWildcard.java

package test;

import org.jetbrains.annotations.*;

import java.util.*;

public interface ReadOnlyExtendsWildcard {
    void bar(); // Non-SAM
    void foo(@ReadOnly List<? extends CharSequence> x, @NotNull Comparable<? super String> y);
}