diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll index f5d0568e4ef08..ed52b473c4b41 100644 --- a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll +++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll @@ -415,7 +415,7 @@ module MakeImpl Lang> { private predicate compatibleContainer0(ApHeadContent apc, DataFlowType containerType) { exists(DataFlowType containerType0, Content c | PrevStage::storeStepCand(_, c, _, _, containerType0) and - not isTopType(containerType0) and + not topTypeContent(apc) and compatibleTypesCached(containerType0, containerType) and apc = projectToHeadContent(c) )