Predicate TypeTracking :: TypeBackTracker :: end
Gets a valid end point of type back-tracking.
Import path
import codeql.typetracking.TypeTracking
TypeBackTracker
end
(
)