A control-flow node that represents the implicit upper bound of a simple slice expression.
Import path
import semmle.go.controlflow.ControlFlowGraphImplA control-flow node that represents the implicit upper bound of a simple slice expression.
import semmle.go.controlflow.ControlFlowGraphImpl