Johannes Link

> Now, I can say that my Money type can also be small if I can pass down the annotation from Money down to longs. So the problem I described...

> tbh, I'm not sold on the idea of domains. because the use of domain immediately removes access for globally available arbitrary instances (you have to include them explicitly) it's...

I still think domains are your best choice here, but you could also create an arbitrary provider yourself for types where handing down annotations is warranted: ```java class MyProviderForA implements...

I am open to considering an additional API just not to routinely handing down annotations. Do you have a suggestion how this API could look and fit into the existing...

> `Arbitraries.defaultFor(TypeUsage.of(MyClass.class).withAnnotation())` This one already works, if you can grab an instance of an annotation from somewhere. It does not propagate it down, and it never will because this would...

> In my case if fails with the configurator essentially filtering too many values (10000). Somehow the same doesn't occur if I summon first and then configure. Depending on how...

There’s currently no jqwik quarkus extension I know of. However, besides the Spring extension there’s another one for Micronaut which is close to its first GA release: https://github.com/jqwik-team/jqwik-micronaut The latter...

Method ordering creates a lot of mess because it interferes with the canonical way of discovering and executing tests. Jupiter's MethodOrderer implementation shows how difficult this can become with nested...

> > The reporting is done using a custom TestExecutionListener-based wrapper around a JUnit launcher that outputs the info > to stdout in a format that is compatible with VPL...

@FeldrinH I'll put method ordering on the TODO list. No promises, though, that I'll get to it in the near future.