pub(super) fn check_transparent<'tcx>(
    tcx: TyCtxt<'tcx>,
    sp: Span,
    adt: &'tcx AdtDef
)