fn fn_sig_and_body(
    tcx: TyCtxt<'_>,
    def_id: DefId
) -> (Option<&FnSig<'_>>, &Body<'_>)