Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
framework
/
AnnotatedVoidMethod.java
blob: acaf8c9e076f2be8a9bdaf1938c593d332ee6f8f [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
framework
.
testchecker
.
util
.*;
public
class
AnnotatedVoidMethod
{
// :: error: annotation type not applicable to this kind of declaration
public
@Odd
void
method
()
{
return
;
}
}