Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
framework
/
GenericTest12.java
blob: 1822abc743f83f6f79663bd0e3e3fa897ef5cc51 [
file
] [
log
] [
blame
]
import
java
.
lang
.
annotation
.
Annotation
;
public
class
GenericTest12
{
@interface
Anno
{}
void
foo
(
Class
<?
extends
Annotation
>
qual
)
{
Annotation
a
=
qual
.
getAnnotation
(
Anno
.
class
);
Anno
an
=
qual
.
getAnnotation
(
Anno
.
class
);
}
}