Type Internal::TExplicitDef
An SSA definition that corresponds to an explicit assignment or other variable definition.
Import path
import semmle.go.dataflow.SsaImplAn SSA definition that corresponds to an explicit assignment or other variable definition.
import semmle.go.dataflow.SsaImpl