// Test for stub files and https://tinyurl.com/cfissue/658 . | |
// Commented in part because that issue is not yet fixed. | |
import javax.lang.model.element.Name; | |
import javax.lang.model.element.TypeElement; | |
import org.checkerframework.checker.signature.qual.*; | |
public class PolySignatureTest2 { | |
@CanonicalNameOrEmpty Name m1(TypeElement e) { | |
return e.getQualifiedName(); | |
} | |
@DotSeparatedIdentifiers String m2(@DotSeparatedIdentifiers Name n) { | |
// :: error: (return) | |
return n.toString(); | |
} | |
} |