Injector MkResultWriteNode
A control-flow node that represents the implicit write to a named result variable in a return statement.
Import path
import semmle.go.controlflow.ControlFlowGraphImpl
MkResultWriteNode MkResultWriteNode(ResultVariable var, int i, ReturnStmt ret)