Property annotations create a

property$annotations

method. The method is still there at runtime even if all properties have

SOURCE

retention and thus no annotations are left in the binary or at runtime. Maybe the synthetic method can be deleted safely at some point?

Yes, we should definitely avoid generating that method if all annotations are

SOURCE