pub(crate) fn main_fn_diagnostics_hir_id(
    tcx: TyCtxt<'_>,
    def_id: DefId,
    sp: Span
) -> HirId