X_in.java

public class X  {
    public static void main(String [] args) {
        if (args instanceof @Readonly String) {
        }
    }
}