Skip to content

Commit c4a0099

Browse files
committed
Auto merge of rust-lang#113382 - lqd:test-mcp510, r=<try>
[perf] test MCP510 r? `@ghost`
2 parents 4eca99a + 186592e commit c4a0099

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

compiler/rustc_ty_utils/src/layout/invariant.rs

+8-8
Original file line numberDiff line numberDiff line change
@@ -8,14 +8,14 @@ use rustc_middle::ty::layout::{HasTyCtxt, LayoutCx, TyAndLayout};
88
pub(super) fn layout_sanity_check<'tcx>(cx: &LayoutCx<'tcx>, layout: &TyAndLayout<'tcx>) {
99
let tcx = cx.tcx();
1010

11-
// Type-level uninhabitedness should always imply ABI uninhabitedness.
12-
if layout.ty.is_privately_uninhabited(tcx, cx.typing_env) {
13-
assert!(
14-
layout.is_uninhabited(),
15-
"{:?} is type-level uninhabited but not ABI-uninhabited?",
16-
layout.ty
17-
);
18-
}
11+
// // Type-level uninhabitedness should always imply ABI uninhabitedness.
12+
// if layout.ty.is_privately_uninhabited(tcx, cx.typing_env) {
13+
// assert!(
14+
// layout.is_uninhabited(),
15+
// "{:?} is type-level uninhabited but not ABI-uninhabited?",
16+
// layout.ty
17+
// );
18+
// }
1919

2020
if layout.size.bytes() % layout.align.abi.bytes() != 0 {
2121
bug!("size is not a multiple of align, in the following layout:\n{layout:#?}");

0 commit comments

Comments
 (0)