Predicate MakeImpl::Impl::Stage5Param::typecheckStore
Import path
import codeql.dataflow.internal.DataFlowImplpredicate typecheckStore(Typ typ, DataFlowType contentType)import codeql.dataflow.internal.DataFlowImplpredicate typecheckStore(Typ typ, DataFlowType contentType)