Predicate MakeConsistency::compatibleTypesReflexive
Import path
import codeql.dataflow.internal.DataFlowImplConsistency
predicate compatibleTypesReflexive(DataFlowType t, string msg)
import codeql.dataflow.internal.DataFlowImplConsistency
predicate compatibleTypesReflexive(DataFlowType t, string msg)