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

This commit is contained in:
Zachary S 2025-01-28 01:29:37 -06:00
parent c33fb5ae85
commit bcfde13d51

View File

@ -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