Update check to reflect that non-ZST uninhabited types should not be PassMode::Ignore.

zachs18 · zachs18 · commit 3f718d87b986 · 2025-02-13T12:54:57.000-06:00
diff --git a/compiler/rustc_ty_utils/src/abi.rs b/compiler/rustc_ty_utils/src/abi.rs
@@ -464,7 +464,7 @@ fn fn_abi_sanity_check<'tcx>(
 
         match &arg.mode {
             PassMode::Ignore => {
-                assert!(arg.layout.is_zst() || arg.layout.is_uninhabited());
+                assert!(arg.layout.is_zst());
             }
             PassMode::Direct(_) => {
                 // Here the Rust type is used to determine the actual ABI, so we have to be very

Original file line number	Diff line number	Diff line change
`@@ -464,7 +464,7 @@ fn fn_abi_sanity_check<'tcx>(`
`464`	`464`
`465`	`465`	`match &arg.mode {`
`466`	`466`	`PassMode::Ignore => {`
`467`		`- assert!(arg.layout.is_zst() \|\| arg.layout.is_uninhabited());`
	`467`	`+ assert!(arg.layout.is_zst());`
`468`	`468`	`}`
`469`	`469`	`PassMode::Direct(_) => {`
`470`	`470`	`// Here the Rust type is used to determine the actual ABI, so we have to be very`