Inter-type Declarations

An annotation type may not be the target of an inter-type declaration.