Replace NullOp::SizeOf and NullOp::AlignOf by lang items.

This commit is contained in:
Camille Gillot 2025-10-16 21:23:43 +00:00
parent 2c1ceea5f0
commit 6026cc9d11

View file

@ -194,10 +194,7 @@ fn check_rvalue<'tcx>(
))
}
},
Rvalue::NullaryOp(
NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(_) | NullOp::UbChecks | NullOp::ContractChecks,
_,
)
Rvalue::NullaryOp(NullOp::OffsetOf(_) | NullOp::UbChecks | NullOp::ContractChecks, _)
| Rvalue::ShallowInitBox(_, _) => Ok(()),
Rvalue::UnaryOp(_, operand) => {
let ty = operand.ty(body, cx.tcx);