Support Pointee trait

This commit is contained in:
hkalbasi 2023-05-01 00:04:11 +03:30
parent 689f964f5f
commit 527dfede48
7 changed files with 71 additions and 29 deletions

View file

@ -42,6 +42,7 @@
//! panic: fmt
//! phantom_data:
//! pin:
//! pointee:
//! range:
//! result:
//! send: sized
@ -368,6 +369,14 @@ pub mod ptr {
*dst = src;
}
// endregion:drop
// region:pointee
#[lang = "pointee_trait"]
pub trait Pointee {
#[lang = "metadata_type"]
type Metadata;
}
// endregion:pointee
}
pub mod ops {