Struct PirSourceAnchor 

#[non_exhaustive]
pub struct PirSourceAnchor {
    pub kind: PirAnchorKind,
    pub range: Option<SourceLocation>,
    pub anchor_id: Option<AnchorId>,
    pub hir_item: Option<HirId>,
}

Source anchor for a PIR node.

A source anchor records why a node exists and where it came from. Nodes without a concrete range (generated-no-source, ambient, unknown) keep range and anchor_id absent and explain themselves through kind.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

kind: PirAnchorKind

Provenance class for this anchor.

range: Option<SourceLocation>

Workspace source range that caused the node, when source-backed.

anchor_id: Option<AnchorId>

Stable anchor id derived from the source range, when source-backed.

hir_item: Option<HirId>

HIR item this node lowered from, when available.

Implementations

impl PirSourceAnchor

pub fn explicit(range: SourceLocation, hir_item: HirId) -> Self

Build a source-backed anchor from a HIR item and its range.

pub fn dynamic_boundary(range: SourceLocation, hir_item: HirId) -> Self

Build a dynamic-boundary anchor pointing at the boundary range.

pub fn is_anchored(&self) -> bool

Return true when this anchor preserves a concrete source range.

Trait Implementations

impl Clone for PirSourceAnchor

fn clone(&self) -> PirSourceAnchor

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PirSourceAnchor

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for PirSourceAnchor

impl PartialEq for PirSourceAnchor

fn eq(&self, other: &PirSourceAnchor) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PirSourceAnchor