compiler-plugin / arrow.meta.plugins.proofs.phases.resolve / ownershipViolations

ownershipViolations

fun CompilerContext.ownershipViolations(trace: BindingContext, file: KtFile): List<Pair<KtDeclaration, Proof>>

Do you like Arrow?

Arrow Org
<