-しかし戻ってきた

一見できてますが、しかし、超Aptが必要です。戻ってきました。有るアノテーションで修飾すると、その修飾先のメソッドのシグネチャを限定するものがほしくなってきます。修飾するとその修飾先の型が指定の型を継承するよう限定するのと同様です。
アノテーションのアノテーションを使ってPOJOのメソッドをAPIに取り込みましたが、この際に、返値が必要なものとか引数リストを限定したりとかがほしい。コンパイル時に流儀に従わないコードはガンコ親父のようにはねつけたいところ。