check
fun SolverState.checkDeclarationConstraints(context: ResolutionContext, declaration: Declaration, descriptor: DeclarationDescriptor)
Content copied to clipboard
When the solver is in the prover state check this declaration body constraints