compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.diagnostics
Package arrow.meta.plugins.proofs.phases.resolve.diagnostics
Functions
| suppressConstantExpectedTypeMismatch | fun CompilerContext.suppressConstantExpectedTypeMismatch(diagnostic: Diagnostic): Boolean |
| suppressProvenTypeMismatch | fun CompilerContext.suppressProvenTypeMismatch(diagnostic: Diagnostic): Boolean |
| suppressTypeInferenceExpectedTypeMismatch | fun CompilerContext.suppressTypeInferenceExpectedTypeMismatch(diagnostic: Diagnostic): Boolean |