> I don’t know enough about the annotation proc...

# arrow

[pakoito]

I don’t know enough about the annotation processor to know if laws are being enforced, though.

We don't enforce them through the processor. In any case it'd be an optional feature