https://kotlinlang.org logo
#compiler
Title
# compiler
i

Icyrockton

10/06/2023, 7:37 AM
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?
d

dmitriy.novozhilov

10/06/2023, 7:41 AM
Yep, you are right
thank you color 1
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
i

Icyrockton

10/06/2023, 7:44 AM
Thanks for your detailed explanation!
👌 1