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.DataFlowImplCommonType getStrongestType(Type t1, Type t2)