Any reason why `fun <A : Any> Arb.Companion....

# kotest

[dave08]

Any reason why fun <A : Any> Arb.Companion.choose(a: Pair<Int, A>, b: Pair<Int, A>, vararg cs: Pair<Int, A>): Arb<A> is A: Any? It seems like it can't choose from a null?

[sam]

The signature is not null. You must have a null in one of your input arbs

[dave08]

Yeah, that's what I want...

[dave08]

Wondering why it can't just be <A : Any?>

[sam]

Erm, yeah I guess it could be

[sam]

not sure the Any is needed

[dave08]

In a sense, someone not paying attention could shoot themselves in the foot without it.. getting unexpected nulls.

But then, any property testing that isn't well planned is dangerous...

[sam]

https://github.com/kotest/kotest/pull/2263

[dave08]

Great, thanks!