compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.diagnostics / suppressProvenTypeMismatch

suppressProvenTypeMismatch

fun CompilerContext.suppressProvenTypeMismatch(diagnostic: Diagnostic): Boolean

Do you like Arrow?

Arrow Org
<