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