Struct CachedAirOutput 

pub struct CachedAirOutput {
    pub interner: InternerSnapshot,
    pub functions: Vec<AnalyzedFunction>,
    pub type_pool: TypeInternPool,
    pub strings: Vec<String>,
    pub bytes: Vec<Vec<u8>>,
    pub interface_defs: Vec<InterfaceDef>,
    pub interface_vtables: InterfaceVtables,
    pub comptime_dbg_output: Vec<String>,
}

Envelope around a per-file AIR + interner snapshot, ready for bincode serialization to the AIR cache.

Fields

interner: InternerSnapshot

Per-file interner snapshot (same role as in CachedParseOutput).

functions: Vec<AnalyzedFunction>

All analyzed functions in this file with their typed AIR.

type_pool: TypeInternPool

Type intern pool snapshot. See TypeInternPool’s custom serde impl: only the canonical types: Vec<TypeData> is captured; the structural-dedup HashMaps reconstruct on load.

strings: Vec<String>

String literals, indexed by AirInstData::StringConst index.

bytes: Vec<Vec<u8>>

Byte-blob literals (@embed_file), indexed by BytesConst index.

interface_defs: Vec<InterfaceDef>

Interface definitions, indexed by InterfaceId.0.

interface_vtables: InterfaceVtables

Vtable witnesses keyed by (StructId, InterfaceId).

comptime_dbg_output: Vec<String>

Lines of @dbg output collected during comptime evaluation. Replayed verbatim to stderr on cache hit so the build is observably identical to a cold build.

Implementations

impl CachedAirOutput

pub fn encode(&self) -> Result<Vec<u8>, EncodeError>

Serialize to the bincode wire format used by CacheStore::put.

pub fn decode(bytes: &[u8]) -> Result<Self, DecodeError>

Deserialize from the bincode wire format.

Trait Implementations

impl Debug for CachedAirOutput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CachedAirOutput

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CachedAirOutput

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

where __S: Serializer,

Serialize this value into the given Serde serializer.