On

IMPLICIT_TYPES_BODY_RESOLVE

compiler may jump to resolution of some function body during resolution of other body to calculate called function return type On

BODY_RESOLVE

all types already known, so analysis of each function is independent, which potentially allows to implement parallelization of this phase with minimal threads interaction