1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// 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 {
@DotSeparatedIdentifiers Name m1(TypeElement e) {
return e.getQualifiedName();
}
@DotSeparatedIdentifiers String m2(@DotSeparatedIdentifiers Name n) {
// :: error: (return.type.incompatible)
return n.toString();
}
}
|
