That should pick up at least a couple improvements:

• better support for T extends @Nullable Object
• an easier way to support package-level annotations that don't affect subpackages

I may be forgetting others.