findDescriptorFromLocalLaw

fun SolverState.findDescriptorFromLocalLaw(descriptor: DeclarationDescriptor, bindingContext: ResolutionContext): DeclarationDescriptor?

Finds the target of a particular law by looking at its last return, if marked with a arrow.analysis.Law annotation.