Member predicate TypeTracking::TypeBackTracker::getACompatibleTypeTracker
Gets a forwards summary that is compatible with this backwards summary.
That is, if this summary describes the steps needed to back-track a value
from sink
to mid
, and the result is a valid summary of the steps needed
to track a value from source
to mid
, then the value from source
may
also flow to sink
.