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.SsaImplTCapture TCapture(ReachableBasicBlock bb, int i, SsaSourceVariable v)