is there a way to use contracts to safely assert t...

# javascript

[Bernhard]

is there a way to use contracts to safely assert types? looking at

@OptIn(ExperimentalContracts::class)
fun isJsObject2(x: Any?): Boolean {
    contract { 
        returns(true) implies (x is Record<String, Any?>)
    }
    return jsTypeOf(x) == "object" && x !is Array<*> && x != null
}

but it's having trouble with erased types from external interfaces

[turansky]

Magic annotation?

[Bernhard]

wow, thanks