See gist. Expected output of insert-annotations-to-source X.jaif X.java is shown in X.goal; actual output is shown in X.output. The new component of the type bound (Object &) should be generated only once for all annotation insertions at the indicated site, rather than once per insertion.