Skip to content

Commit fdf8bdb

Browse files
committed
Remove the ptr_unique lang item
Miri no longer uses it.
1 parent 6707bf0 commit fdf8bdb

File tree

3 files changed

+0
-6
lines changed

3 files changed

+0
-6
lines changed

compiler/rustc_hir/src/lang_items.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -345,9 +345,6 @@ language_item_table! {
345345
OwnedBox, sym::owned_box, owned_box, Target::Struct, GenericRequirement::Minimum(1);
346346
GlobalAlloc, sym::global_alloc_ty, global_alloc_ty, Target::Struct, GenericRequirement::None;
347347

348-
// Experimental lang item for Miri
349-
PtrUnique, sym::ptr_unique, ptr_unique, Target::Struct, GenericRequirement::Exact(1);
350-
351348
PhantomData, sym::phantom_data, phantom_data, Target::Struct, GenericRequirement::Exact(1);
352349

353350
ManuallyDrop, sym::manually_drop, manually_drop, Target::Struct, GenericRequirement::None;

compiler/rustc_span/src/symbol.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1698,7 +1698,6 @@ symbols! {
16981698
ptr_slice_from_raw_parts_mut,
16991699
ptr_swap,
17001700
ptr_swap_nonoverlapping,
1701-
ptr_unique,
17021701
ptr_write,
17031702
ptr_write_bytes,
17041703
ptr_write_unaligned,

library/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)