language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-02 22:54:36 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Make the vtable test pass with cargo miri

Browse source
This commit is contained in:
Olivier Goffart 2020-11-16 14:33:19 +01:00
parent 280414b556
commit 8dbd0828a4
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
helper_crates/vtable/src/lib.rs
View file

@ -130,6 +130,12 @@ impl Inner {
debug_assert_eq!(core::mem::size_of::<T::Target>(), core::mem::size_of::<Inner>());
self as *const Inner as *const T::Target
}
/// Same as [`Self::deref`].
fn deref_mut<T: ?Sized + VTableMeta>(&mut self) -> *mut T::Target {
debug_assert_eq!(core::mem::size_of::<T::Target>(), core::mem::size_of::<Inner>());
self as *mut Inner as *mut T::Target
}
}
/// An equivalent of a Box that holds a pointer to a VTable and a pointer to an instance.
@ -155,7 +161,7 @@ impl<T: ?Sized + VTableMetaDrop> Deref for VBox<T> {
}
impl<T: ?Sized + VTableMetaDrop> DerefMut for VBox<T> {
fn deref_mut(&mut self) -> &mut Self::Target {
unsafe { &mut *(self.inner.deref::<T>() as *mut _) }
unsafe { &mut *(self.inner.deref_mut::<T>() as *mut _) }
}
}
@ -316,7 +322,7 @@ impl<'a, T: ?Sized + VTableMeta> Deref for VRefMut<'a, T> {
impl<'a, T: ?Sized + VTableMeta> DerefMut for VRefMut<'a, T> {
fn deref_mut(&mut self) -> &mut Self::Target {
unsafe { &mut *(self.inner.deref::<T>() as *mut _) }
unsafe { &mut *(self.inner.deref_mut::<T>() as *mut _) }
}
}