Problem What are you trying to do that LiquidJava doesn't support today?

Proposed solution What should it look like? Include an example annotation or API sketch if relevant.

Alternatives considered Other approaches you've thought about.