diff options
| author | Neven Villani <vanille@crans.org> | 2023-06-15 17:43:23 +0200 |
|---|---|---|
| committer | Neven Villani <vanille@crans.org> | 2023-06-16 15:22:18 +0200 |
| commit | dc3e91c6c2e3d5ae2287fd8332ecb6b7b7cee743 (patch) | |
| tree | 7580486963c72c3e6fbc141f5c52791a063dfad5 /library/core/src/ptr | |
| parent | 4996b56ba9647d149265d03dcbd9ab837af3a1bb (diff) | |
| download | rust-dc3e91c6c2e3d5ae2287fd8332ecb6b7b7cee743.tar.gz rust-dc3e91c6c2e3d5ae2287fd8332ecb6b7b7cee743.zip | |
`#[lang_item]` for `core::ptr::Unique`
Diffstat (limited to 'library/core/src/ptr')
| -rw-r--r-- | library/core/src/ptr/unique.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/core/src/ptr/unique.rs b/library/core/src/ptr/unique.rs index a853f15edb7..ff7e91d3ec3 100644 --- a/library/core/src/ptr/unique.rs +++ b/library/core/src/ptr/unique.rs @@ -32,6 +32,8 @@ use crate::ptr::NonNull; )] #[doc(hidden)] #[repr(transparent)] +// Lang item used experimentally by Miri to define the semantics of `Unique`. +#[cfg_attr(not(bootstrap), lang = "ptr_unique")] pub struct Unique<T: ?Sized> { pointer: NonNull<T>, // NOTE: this marker has no consequences for variance, but is necessary |