What is the difference between `IMPLICIT_TYPES_BOD...

# compiler

[Icyrockton]

What is the difference between IMPLICIT_TYPES_BODY_RESOLVE and BODY_RESOLVE in the resolving stage.
The IMPLICIT_TYPES_BODY_RESOLVE stage skips the resolving of simple function or property bodies if the return type is explicitly specified?

[dmitriy.novozhilov]

Yep, you are right

[dmitriy.novozhilov]

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

[Icyrockton]

Thanks for your detailed explanation!