pub(super) fn check_packed_inner( tcx: TyCtxt<'_>, def_id: DefId, stack: &mut Vec<DefId>, ) -> Option<Vec<(DefId, Span)>>