Skip to content

Commit

Permalink
Rollup merge of rust-lang#134602 - kpreid:pointerlike-doc, r=tgross35
Browse files Browse the repository at this point in the history
Document `PointerLike` implementation restrictions.

Since <rust-lang#133226>, it is no longer automatically implemented, but must be manually implemented, with special restrictions. The documentation now (roughly) explains those special restrictions.

cc `@compiler-errors` (author of the previous PR)
  • Loading branch information
matthiaskrgr authored Dec 22, 2024
2 parents 87be70e + da6616c commit 7f36ae4
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions library/core/src/marker.rs
Original file line number Diff line number Diff line change
Expand Up @@ -982,8 +982,14 @@ pub trait Tuple {}

/// A marker for pointer-like types.
///
/// This trait can only be implemented for types that have the same size and alignment
/// as a `usize` or `*const ()`.
/// This trait can only be implemented for types that are certain to have
/// the same size and alignment as a [`usize`] or [`*const ()`](pointer).
/// To ensure this, there are special requirements on implementations
/// of `PointerLike` (other than the already-provided implementations
/// for built-in types):
///
/// * The type must have `#[repr(transparent)]`.
/// * The type’s sole non-zero-sized field must itself implement `PointerLike`.
#[unstable(feature = "pointer_like_trait", issue = "none")]
#[lang = "pointer_like"]
#[diagnostic::on_unimplemented(
Expand Down

0 comments on commit 7f36ae4

Please sign in to comment.