compiler-plugin / arrow.meta.plugins.proofs.phases / areTypesCoerced
fun CompilerContext?.areTypesCoerced(subType: KotlinType, supertype: KotlinType): Boolean
fun
CompilerContext
?.areTypesCoerced(subType: KotlinType, supertype: KotlinType):
Boolean
Do you like Arrow?