fn check_const_item( tcx: TyCtxt<'_>, def_id: LocalDefId, ty_span: Span, ) -> Result<(), ErrorGuaranteed>