shouldBeLeft() messes up typing

[shalomhalbert]

shouldBeLeft()'s contract appears to mess up typing. In the example below, it in actual.mapLeft { it } should be a Throwable, but because actual.shouldBeLeft() is called first, it is of type Any?. This appears to be caused by shouldBeLeft()'s contract

contract {
        returns() implies (this@shouldBeLeft is Either.Left<*>)
    }

Example:

import arrow.core.Either
import arrow.core.left
import io.kotest.assertions.arrow.either.shouldBeLeft
import io.kotest.core.spec.style.StringSpec
import java.lang.IllegalArgumentException

class Right

class Sample: StringSpec({
    "Example"{
            val actual: Either<Throwable, Right> = IllegalArgumentException().left()

            actual.shouldBeLeft()
            actual.mapLeft { it } //Why is [it] of type Any?
        }
})

[i-walker]

This is an issue in your example.

val actual: Either<Throwable, Int> = IllegalArgumentException().left()

    actual.shouldBeLeft()
    actual.mapLeft { it } // it is properly resolved to Throwable

Do you have another example or repo I can check out?

[shalomhalbert]

Apologies, this was caused by me referencing 1.0.1 instead of 1.1.1, which has a different contract.

[i-walker]

No apologies needed 😄 @shalbert94