janis/werkzeug
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fixed can_transmute/SmallBox::is_inline

Browse source
This commit is contained in:
Janis 2025-07-02 19:18:41 +02:00
parent 56faa52d0d
commit f4623d1205
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/smallbox.rs
View file

@ -137,7 +137,8 @@ impl<T> SmallBox<T> {
// the value can be stored inline iff the size of T is equal or // the value can be stored inline iff the size of T is equal or
// smaller than the size of the boxed type and the alignment of the // smaller than the size of the boxed type and the alignment of the
// boxed type is an integer multiple of the alignment of T // boxed type is an integer multiple of the alignment of T
crate::can_transmute::<Box<MaybeUninit<T>>, T>() (size_of::<Box<MaybeUninit<T>>>() >= size_of::<MaybeUninit<T>>())
& (align_of::<Box<MaybeUninit<T>>>() >= align_of::<MaybeUninit<T>>())
} }
pub fn new(value: T) -> Self { pub fn new(value: T) -> Self {

2
src/util.rs
View file

@ -44,5 +44,5 @@ pub const fn can_transmute<A, B>() -> bool {
use core::mem::{align_of, size_of}; use core::mem::{align_of, size_of};
// We can transmute `A` to `B` iff `A` and `B` have the same size and the // We can transmute `A` to `B` iff `A` and `B` have the same size and the
// alignment of `A` is greater than or equal to the alignment of `B`. // alignment of `A` is greater than or equal to the alignment of `B`.
size_of::<A>() <= size_of::<B>() && align_of::<A>() >= align_of::<B>() (size_of::<A>() == size_of::<B>()) & (align_of::<A>() >= align_of::<B>())
} }