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