import io.kotest.core.spec.style.FreeSpec
import io.kotest.property.Arb
import io.kotest.property.arbitrary.bind
import io.kotest.property.forAll

data class Foo(val bar: Bar?)

data class Bar(val baz: String)

class PropertyTestCustomARb : FreeSpec({
    val arbBarNotNull = Arb.bind<Bar>()

    val arbFooWithBar: Arb<Foo> = Arb.bind<Foo> {
        bind(Foo::bar to arbBarNotNull) // field should never be null since its Arb does not generate nulls
    }

    "bar should never be null" {
        forAll(arbBarNotNull) { bar ->
            bar != null
        }
    }

    "foo with bar should have bar" {
        forAll(arbFooWithBar) { foo ->
            foo.bar != null // fails
        }
    }
})