compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.diagnostics
suppressConstantExpectedTypeMismatch | fun CompilerContext .suppressConstantExpectedTypeMismatch(diagnostic: Diagnostic): Boolean |
suppressProvenTypeMismatch | fun CompilerContext .suppressProvenTypeMismatch(diagnostic: Diagnostic): Boolean |
suppressTypeInferenceExpectedTypeMismatch | fun CompilerContext .suppressTypeInferenceExpectedTypeMismatch(diagnostic: Diagnostic): Boolean |
Do you like Arrow?
✖