rename MIR int2ptr casts to match library name

This commit is contained in:
Ralf Jung 2024-03-23 12:21:20 +01:00
parent e5ece90f64
commit 4d623015e0

View file

@ -112,7 +112,7 @@ fn check_rvalue<'tcx>(
Rvalue::Repeat(operand, _) Rvalue::Repeat(operand, _)
| Rvalue::Use(operand) | Rvalue::Use(operand)
| Rvalue::Cast( | Rvalue::Cast(
CastKind::PointerFromExposedAddress CastKind::PointerWithExposedProvenance
| CastKind::IntToInt | CastKind::IntToInt
| CastKind::FloatToInt | CastKind::FloatToInt
| CastKind::IntToFloat | CastKind::IntToFloat