fn maybe_body_id_of_fn(hir_map: Map<'_>, id: HirId) -> Option<BodyId>