PolySignatureTest.java

import org.checkerframework.checker.signature.qual.*;

public class PolySignatureTest {

    @PolySignature String polyMethod(@PolySignature String arg) {
        return arg;
    }

    void m(@ClassGetName String s) {
        @ClassGetName String s1 = polyMethod(s);
        @ClassGetName String s2 = s.intern();
    }
}