Package arrow.meta.plugins.analysis.phases.analysis.solver.search

Functions

getConstraintsFor
Link copied to clipboard
fun SolverState.getConstraintsFor(resolvedCall: ResolvedCall): DeclarationConstraints?

Looks up in the solver state previously collected constraints and returns the constraints associated to this resolvedCall resulting descriptor if any

fun SolverState.getConstraintsFor(descriptor: DeclarationDescriptor): DeclarationConstraints?

Looks up in the solver state previously collected constraints and returns the constraints associated to this descriptor, or any of the declaration it has overridden, if any