Implement Exhaustive.merge for two gens with a common supertype.

[Octogonapus]

Description of the Change

This PR implements the example code from #1497 for merging two Exhaustive gens with a common supertype.

Applicable Issues

Closes #1497.

[sksamuel]

That was quick.

[sksamuel]

Would you mind adding a simple unit test.

[Octogonapus]

Would you mind adding a simple unit test.

I can do that. Where should I put it?

[sksamuel]

in jvmTest in the kotest-property module. Just something that confirms listOf(1,2,3) and listOf(4,5,6) ends up as listOf(1,4,2,5,4,6)

…

On Sun, 7 Jun 2020 at 11:51, :) ***@***.***> wrote: Would you mind adding a simple unit test. I can do that. Where should I put it? — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#1502 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAFVSGW7I6NP64OLYKCW5WDRVPAPZANCNFSM4NXNGLZQ> .

[Octogonapus]

Done. I had to remove the other merge declaration because the JVM signatures clashed. The new one is backward-compatible.

[Octogonapus]

It looks like the ubuntu failure is not specific to my changes; it's happening on other PRs as well.