Injector MkResultWriteTarget
A write target for a returned expression, viewed as a write to the corresponding result variable.
Import path
import semmle.go.controlflow.ControlFlowGraphImplA write target for a returned expression, viewed as a write to the corresponding result variable.
import semmle.go.controlflow.ControlFlowGraphImpl