Predicate MakeImplCommon::typeStrongerThanFilter
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate typeStrongerThanFilter(DataFlowType t1, DataFlowType t2)
import codeql.dataflow.internal.DataFlowImplCommon
predicate typeStrongerThanFilter(DataFlowType t1, DataFlowType t2)