Skip to content

Tree Borrows pointer tag tracing does not show when a tag gets disabled #3342

New issue
New issue
Open
Open
Tree Borrows pointer tag tracing does not show when a tag gets disabled#3342
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)A-diagnosticserrors and warnings emitted by miriC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement
@RalfJung

Description

@RalfJung
RalfJung
opened on Mar 2, 2024

Currently only the creation of a tag triggers tracking, not disabling one.

This likely requires threading the &Machine all the way to perform_access. Stacked Borrows does this with its DiagnosticCxBuilder/DiagnosticCx; it would probably make sense for Tree Borrows to follow a similar approach.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)A-diagnosticserrors and warnings emitted by miriC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions