Skip to content

Commit b2b679d

Browse files
authored
Rollup merge of rust-lang#144212 - bjorn3:remove_unique_lang_item, r=oli-obk
Remove the ptr_unique lang item Miri no longer uses it since rust-lang/miri#4307.
2 parents 95807b8 + bac455c commit b2b679d

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

core/src/ptr/unique.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,8 +32,6 @@ 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-
#[lang = "ptr_unique"]
3735
pub struct Unique<T: PointeeSized> {
3836
pointer: NonNull<T>,
3937
// NOTE: this marker has no consequences for variance, but is necessary

0 commit comments

Comments
 (0)