Predicate PromiseTypeTracking::promiseStep
Gets the result from a single step through a promise, from pred with tracker t2 to result with tracker t.
This can be loading a resolved value from a promise, storing a value in a promise, or copying a resolved value from one promise to another.
Import path
import semmle.javascript.PromisesSourceNode promiseStep(SourceNode pred, TypeTracker t, TypeTracker t2)