Enum IrPathResult 

pub enum IrPathResult {
    Scalar(IrExpr, Option<TupleCastShape>),
    Object {
        alias: String,
        type_name: String,
        shape: Vec<IrShapePointer>,
    },
}

Variants

Scalar(IrExpr, Option<TupleCastShape>)

Final result is a scalar expression (column ref or computed expr like EXISTS). The second field carries a tuple-typed property’s real member shape (nominal or structural — see resolve_property_tuple_shape) so a bare select Type.tuple_property gets the same rich ShapeNode::NamedTuple a Type { tuple_property } shape query already does, instead of falling back to an opaque ShapeNode::Scalar. None for anything that isn’t a bare tuple-typed property reference.

Object

Final step is a link — return the linked objects with the given shape.

Fields

alias: String

type_name: String

shape: Vec<IrShapePointer>

Trait Implementations

impl Clone for IrPathResult

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrPathResult

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

Formats the value using the given formatter.