Predicate CachedSteps::receiverPropWrite

Holds if f may assign rhs to this.prop.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate receiverPropWrite(Function f, string prop, Node rhs)