bring back check for repr(C)

RalfJung · RalfJung · commit ece2bd900447 · 2025-10-29T18:58:08.000+01:00
diff --git a/compiler/rustc_hir_analysis/src/check/check.rs b/compiler/rustc_hir_analysis/src/check/check.rs
@@ -1556,6 +1556,9 @@ pub(super) fn check_transparent<'tcx>(tcx: TyCtxt<'tcx>, adt: ty::AdtDef<'tcx>)
                             ));
                         }
                     }
+                    if def.repr().c() {
+                        return ControlFlow::Break((def.descr(), def.did(), args, true));
+                    }
                     def.all_fields()
                         .map(|field| field.ty(tcx, args))
                         .try_for_each(|t| check_non_exhaustive(tcx, typing_env, t))

Original file line number	Diff line number	Diff line change
`@@ -1556,6 +1556,9 @@ pub(super) fn check_transparent<'tcx>(tcx: TyCtxt<'tcx>, adt: ty::AdtDef<'tcx>)`
`1556`	`1556`	`));`
`1557`	`1557`	`}`
`1558`	`1558`	`}`
	`1559`	`+ if def.repr().c() {`
	`1560`	`+ return ControlFlow::Break((def.descr(), def.did(), args, true));`
	`1561`	`+ }`
`1559`	`1562`	`def.all_fields()`
`1560`	`1563`	`.map(\|field\| field.ty(tcx, args))`
`1561`	`1564`	`.try_for_each(\|t\| check_non_exhaustive(tcx, typing_env, t))`