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