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.DataFlowImplCommonGets 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