Why `AbstractFunctionDecl::BodySynthesizer`?

Thank you! That makes sense.

I'll leave the same message from another question thread: I wonder if this rationale is documented anywhere? If not, adding some code documentation sounds good. I care about documentation like this so I'm happy to write a short draft sometime.