Is it possible with contracts to imply the return ...

# announcements

[Strum355]

Is it possible with contracts to imply the return type of a method to be of type T where T is a reified type parameter, so that smartcast is possible outside the method?

[diesieben07]

Yes, the following works:

inline fun <reified T> isA(value: Any?): Boolean {
    contract { 
        returns(true) implies (value is T)
    }
    return value is T
}

[Strum355]

Ah I forgot to mention that the value is created inside the method, not from a parameter. But I was able to work around it by rearchitecting my code a bit 🙂