An SSA definition representing the capturing of an SSA-convertible variable in the closure of a nested function.
Capturing definitions appear at the beginning of such functions, as well as at any function call that may affect the value of the variable.
Import path
import semmle.go.dataflow.SsaImpl