Skip to content

Commit e27e48e

Browse files
committed
#[lang_item] for core::ptr::Unique
1 parent 65185fd commit e27e48e

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

core/src/ptr/unique.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,8 @@ use crate::ptr::NonNull;
3232
)]
3333
#[doc(hidden)]
3434
#[repr(transparent)]
35+
// Lang item used experimentally by Miri to define the semantics of `Unique`.
36+
#[cfg_attr(not(bootstrap), lang = "ptr_unique")]
3537
pub struct Unique<T: ?Sized> {
3638
pointer: NonNull<T>,
3739
// NOTE: this marker has no consequences for variance, but is necessary

0 commit comments

Comments
 (0)