Struct Typed 

pub struct Typed {
    pub project: Type,
    pub scope: Scope,
}

Represents the state of a query that has been statically analyzed.

This type is used as a marker to indicate that a query has successfully passed static analysis. It contains metadata about the query’s type information and variable scope after type checking.

All variables in a typed query are guaranteed to be:

• Properly declared and in scope
• Type-safe with sound type assignments

Fields

project: Type

The inferred type of the query’s projection (PROJECT INTO clause).

This represents the shape and types of the data that will be returned by the query.

scope: Scope

The variable scope after static analysis.

Contains all variables that were in scope during type checking, including bindings from FROM clauses and their associated types.

Trait Implementations

impl Clone for Typed

fn clone(&self) -> Typed

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Typed

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

Formats the value using the given formatter.

impl Serialize for Typed

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.