Enforce unsafe binders must be Copy (for now)

This commit is contained in:
Michael Goulet 2025-01-31 02:04:10 +00:00
parent 62c68e15b8
commit a9434c08e2

View file

@ -116,6 +116,7 @@ fn check_rvalue<'tcx>(
Rvalue::CopyForDeref(place) => check_place(tcx, *place, span, body, msrv),
Rvalue::Repeat(operand, _)
| Rvalue::Use(operand)
| Rvalue::WrapUnsafeBinder(operand, _)
| Rvalue::Cast(
CastKind::PointerWithExposedProvenance
| CastKind::IntToInt