The current implementation does not easily support the case where a single source annotation should give rise to multiple bytecode annotations. In the following code:

interface Thing {}
public class Test {
    public Thing meth() { return new @X Thing() {}; }
}

There should be a bytecode annotation for the superclass of Thing$1 (the anonymous class), the new, and the constructor invocation.