Struct Typed 

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

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.

aggregate: bool

Indicates if the query uses aggregate functions.

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.