Skip to content

Make UnsafePinned handling properly per-byte #4819

New issue
New issue
Open
Open
Make UnsafePinned handling properly per-byte#4819
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementI-misses-theoretical-UBImpact: Miri does not report UB when it should, but codegen also "misses" this UB
@RalfJung

Description

@RalfJung
RalfJung
opened on Jan 19, 2026

UnsafeCell gets treated in a per-byte way by SB and TB (at least in the default configuration). rust-lang/rust#151365 adds support for UnsafePinned, but so far we just handle this in an all-or-nothing way. We should make it per-byte as well.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementI-misses-theoretical-UBImpact: Miri does not report UB when it should, but codegen also "misses" this UB

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions