Predicate MakeImplCommon::TypeFlow::getStrongestType
Gets the strongest of the two types t1
and t2
. If neither type is
stronger then compatibility is checked and t1
is returned.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Gets the strongest of the two types t1
and t2
. If neither type is
stronger then compatibility is checked and t1
is returned.
import codeql.dataflow.internal.DataFlowImplCommon