Enum ExpectedFailKeyPart 

pub enum ExpectedFailKeyPart {
    Named {
        index: IndexTypeRef,
        variant: IndexVariantName,
        source_index_path: Option<NamePath>,
        span: Span,
    },
    RangeStep {
        step: u64,
        span: Span,
    },
}

One axis segment in a per-variant #[expected_fail(...)] key.

Variants

Named

An Index.Variant / module.Index.Variant segment for a named axis.

The index carrier is the semantic key used by runtime assertion checks. Before module-aware TIR resolution, source_index_path preserves the structured syntax path. After resolution, index carries the canonical owner used by runtime checks.

Fields

index: IndexTypeRef

variant: IndexVariantName

source_index_path: Option<NamePath>

span: Span

RangeStep

A #N segment for a Nat range axis (#816).

Range axes have no source-level index name, so the axis identity is positional: the segment binds to the assertion’s axis at the same tuple position, validated at dim-check time.

Fields

step: u64

span: Span

Implementations

impl ExpectedFailKeyPart

pub fn unresolved( index_path: NamePath, variant: IndexVariantName, span: Span, ) -> Self

pub fn with_owner( owner: DagId, index: IndexName, variant: IndexVariantName, span: Span, ) -> Self

pub fn resolved(resolved: ResolvedIndexVariant, span: Span) -> Self

pub fn with_resolved_variant(&self, resolved: ResolvedIndexVariant) -> Self

pub const fn span(&self) -> Span

The source span of this key segment.

pub const fn named_index(&self) -> Option<&IndexTypeRef>

The named index reference, when this segment targets a named axis.

pub const fn source_index_path(&self) -> Option<&NamePath>

The structured syntax path awaiting resolution, for named segments.

pub fn variant(&self) -> IndexVariantName

The variant key this segment selects within its axis.

pub fn matches_entry( &self, index: &IndexTypeRef, variant: &IndexVariantName, ) -> bool

Whether this segment selects the given entry of an indexed value.

Named segments require the entry’s index identity to match; #N segments match the #N entry of any Nat range axis (the axis itself was bound positionally at dim-check time).

pub fn display(&self) -> String

Render this segment for diagnostics: Index.Variant or #N.

Trait Implementations

impl Clone for ExpectedFailKeyPart

fn clone(&self) -> ExpectedFailKeyPart

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpectedFailKeyPart

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

Formats the value using the given formatter.

impl Eq for ExpectedFailKeyPart

impl PartialEq for ExpectedFailKeyPart

fn eq(&self, other: &ExpectedFailKeyPart) -> 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 ExpectedFailKeyPart