Does the compiler check that contracts are met by ...

# eap

[pabl0rg]

Does the compiler check that contracts are met by function implementations? For example, would this generate an error?

fun String?.myCheck(): Boolean {
    contract {
        returns(true) implies(this@myCheck is String)
    }
    return true
}