xtaixe

I understand. What do you think about providing a new annotation (`@Eager`?) that would equivalent to `@Derived` + `@Auxiliary` (so also i.e. like `@Lazy` but eager). We use `@Derived` a...

@cpovirk thanks for the detailed answer. Has it been considered or are there any plans to add something like `@NullMarked(includeSubpackages= true)` or another annotation for that or similar to the...

@agentgt thanks, but not sure that helps. What I want to avoid is having the clutter of a package info file per package or annotating every single class.

@agentgt not sure if we use too many packages, but for example one of our internal libraries has ~15 packages. The thing is that in that same repository for core...