Predicate Make::Private::SummaryComponentStack::push
Gets the stack obtained by pushing head
onto tail
.
Make sure to override RequiredSummaryComponentStack::required()
in order
to ensure that the constructed stack exists.
Import path
import codeql.dataflow.internal.FlowSummaryImpl