Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
framework
/
ClassAnnotations.java
blob: abad09012f685b511a9d81553103588b6db30abc [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
framework
.
testchecker
.
util
.*;
// ::warning: (inconsistent.constructor.type) :: error: (super.invocation)
public
@Odd
class
ClassAnnotations
{
ClassAnnotations
c
;
public
void
test
()
{
@Odd
ClassAnnotations
d
=
c
;
}
}