Manifold properties combined with Lombok @RequiredArgsConstructor

[EotT123]

Lombok's RequiredArgsConstructor is a convenient tool for generating constructors without the need to manually write boilerplate code. However, this functionality encounters issues when used with Manifold properties. Fields annotated with @val are treated as final by the compiler, but Lombok does not recognize them as such.
I'm not sure if anything can be done about this, or if changes to Lombok's codebase are required to resolve this incompatibility?

[rsmckinney]

It suspect it's a chicken/egg problem that can't be rectified, but I'll take a deeper look.

On the brighter side @data classes are next in the lineup, which will similarly support a required arguments constructor etc.

[EotT123]

I'm looking forward to it! Is there already some information available about the (possible) features?

[rsmckinney]

See #257