Closures (infer.Pulselib.PulseOperations.Closures)

val check_captured_addresses : 
  Pulselib.PulseDomainInterface.PathContext.t ->
  IBase.Location.t ->
  Pulselib.PulseBasicInterface.AbstractValue.t ->
  t ->
  t Pulselib.PulseDomainInterface.AccessResult.t

assert the validity of the addresses captured by the lambda