mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Make std::mem::needs_drop accept ?Sized

Browse source
This commit is contained in:
Nikolai Vazquez 2022-06-03 03:28:19 -04:00
parent 722c724a95
commit 7a8b96f89d
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
example/mini_core.rs
View file

@ -567,7 +567,7 @@ pub mod intrinsics {
pub fn copy<T>(src: *const T, dst: *mut T, count: usize); pub fn copy<T>(src: *const T, dst: *mut T, count: usize);
pub fn transmute<T, U>(e: T) -> U; pub fn transmute<T, U>(e: T) -> U;
pub fn ctlz_nonzero<T>(x: T) -> T; pub fn ctlz_nonzero<T>(x: T) -> T;
pub fn needs_drop<T>() -> bool; pub fn needs_drop<T: ?::Sized>() -> bool;
pub fn bitreverse<T>(x: T) -> T; pub fn bitreverse<T>(x: T) -> T;
pub fn bswap<T>(x: T) -> T; pub fn bswap<T>(x: T) -> T;
pub fn write_bytes<T>(dst: *mut T, val: u8, count: usize); pub fn write_bytes<T>(dst: *mut T, val: u8, count: usize);

7
example/mini_core_hello_world.rs
View file

@ -55,6 +55,11 @@ struct NoisyDrop {
inner: NoisyDropInner, inner: NoisyDropInner,
} }
struct NoisyDropUnsized {
text: str,
inner: NoisyDropInner,
}
struct NoisyDropInner; struct NoisyDropInner;
impl Drop for NoisyDrop { impl Drop for NoisyDrop {
@ -170,7 +175,9 @@ fn main() {
assert_eq!(intrinsics::min_align_of_val(&a) as u8, intrinsics::min_align_of::<&str>() as u8); assert_eq!(intrinsics::min_align_of_val(&a) as u8, intrinsics::min_align_of::<&str>() as u8);
assert!(!intrinsics::needs_drop::<u8>()); assert!(!intrinsics::needs_drop::<u8>());
assert!(!intrinsics::needs_drop::<[u8]>());
assert!(intrinsics::needs_drop::<NoisyDrop>()); assert!(intrinsics::needs_drop::<NoisyDrop>());
assert!(intrinsics::needs_drop::<NoisyDropUnsized>());
Unique { Unique {
pointer: NonNull(1 as *mut &str), pointer: NonNull(1 as *mut &str),