From 6c0a24c82d372ef40e59cc8ba518fb2ffa19668d Mon Sep 17 00:00:00 2001 From: KodrAus Date: Wed, 20 Apr 2022 16:28:54 +1000 Subject: [PATCH] add safety comments to the by-ref transmute for non-zero nums --- src/kv/value.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/kv/value.rs b/src/kv/value.rs index 089104ab0..63997aef7 100644 --- a/src/kv/value.rs +++ b/src/kv/value.rs @@ -485,12 +485,14 @@ impl<'v> From<&'v i128> for Value<'v> { impl<'v> From<&'v std::num::NonZeroU128> for Value<'v> { fn from(v: &'v std::num::NonZeroU128) -> Value<'v> { + // SAFETY: `NonZeroU128` and `u128` have the same ABI Value::from_value_bag(unsafe { std::mem::transmute::<&std::num::NonZeroU128, &u128>(v) }) } } impl<'v> From<&'v std::num::NonZeroI128> for Value<'v> { fn from(v: &'v std::num::NonZeroI128) -> Value<'v> { + // SAFETY: `NonZeroI128` and `i128` have the same ABI Value::from_value_bag(unsafe { std::mem::transmute::<&std::num::NonZeroI128, &i128>(v) }) } }