submilli-engine 0.3.0

//! WasmGC type emission and body lowering for user `class` declarations.
//!
//! Each class becomes one rec group holding a struct type
//! `$Foo (sub $ObjectShape …)` and a vtable type `$Foo_vtable (sub $VTable …)`,
//! with subclasses subtyping their parent's pair. Alongside those: the
//! per-class singleton globals (vtable instance, field-names array), the
//! allocating constructor and its self-first init counterpart, real method
//! bodies, one closure-ABI adapter per non-generic vtable *slot* for
//! interface-typed dispatch (inherited slots included — a subclass reuses its
//! ancestor's adapter where one exists locally),
//! and the four universal vtable bodies (`toString`/`toJson`/`equals`/`hash`).
//!
//! Data fields live in the shared object-fields payload rather than as named
//! struct fields, so a class's struct only ever references its own vtable and
//! the intrinsics — which is what lets a cross-package consumer rebuild just
//! the classes it uses (see [`super::imported_classes`]).

use std::collections::{BTreeMap, BTreeSet};

use wasm_encoder::{
    BlockType, CodeSection, CompositeInnerType, CompositeType, ConstExpr, FieldType, Function,
    FunctionSection, GlobalSection, GlobalType, HeapType, Instruction, RefType, StorageType,
    StructType, SubType, TypeSection, ValType,
};

use crate::codegen::CodegenCtx;
use crate::codegen::closures::ClosureSig;
use crate::codegen::function_emitter::FunctionEmitter;
use crate::codegen::imported_classes::ImportedClassLayout;
use crate::codegen::intrinsics::IntrinsicTypeIndices;
use crate::codegen::symbol_table::{FieldSetup, MethodSlotAbi, SymbolTable};
use crate::codegen::{GuardedBodies, internal_failure, next_index, parameter_local, wasm_u32};
use crate::compiler_error::CompilerFailure;
use crate::{MangledName, TypedAst, TypedClassDecl, TypedTypeDecl};

/// The four universal vtable slots (toString/toJson/equals/hash) every vtable
/// carries, each backed by a shared stub function.
pub(crate) const UNIVERSAL_STUB_COUNT: usize = 4;
/// `$ClassVTable` field index of the nominal-identity parent link.
pub(crate) const VTABLE_PARENT_SLOT: u32 = UNIVERSAL_STUB_COUNT as u32;
/// Whether JSON uses the runtime's default property serializer.
pub(crate) const VTABLE_DEFAULT_JSON_SLOT: u32 = VTABLE_PARENT_SLOT + 1;
/// Universal funcrefs, parent link and default-serializer marker precede methods.
pub(crate) const VTABLE_METHOD_SLOT_BASE: u32 = VTABLE_DEFAULT_JSON_SLOT + 1;

/// One method slot in a class vtable. `name` is the method name; `owner` is the
/// most-derived class that supplies the body (the class itself for an override,
/// else the nearest ancestor); `sig_idx` is the Wasm fn-type the slot holds
/// (allocated by the base declarer and reused by overrides).
struct MethodSlot {
    name: String,
    owner: MangledName,
    sig_idx: u32,
    /// Declared parameter/return types of the body backing this slot (the
    /// *owner's*). Needed to pick the closure signature for the slot's payload
    /// adapter; its body uses the recorded ABI for physical representations.
    param_tys: Vec<crate::Type>,
    argument_metadata: Option<String>,
    ret_ty: crate::Type,
    /// A generic method has no adapter and never enters the instance payload.
    generic: bool,
}

struct ClassLayout {
    private_members: BTreeSet<String>,
    generics: Vec<String>,
    mangled: MangledName,
    name: String,
    /// The class name's span, the declaration a constructor frame points at.
    name_span: crate::Span,
    parent: Option<MangledName>,
    /// Full field list (inherited prefix then own), in object payload order.
    fields: Vec<FieldLayout>,
    /// Full method slot list (inherited prefix then own/new), in vtable order.
    methods: Vec<MethodSlot>,
    /// Methods declared on *this* class (own or override) — each gets a real body.
    own_methods: Vec<OwnMethod>,
    /// Indices into `methods` whose payload adapter *this* class emits. A slot
    /// inherited from a local ancestor reuses that ancestor's adapter (topo
    /// order guarantees it exists); an imported owner has no adapter in this
    /// module, so one is emitted here.
    adapter_slots: Vec<usize>,
    /// `this`-class's own constructor params + body. `None` body = no declared
    /// constructor (synthesize a default that just allocates + returns).
    ctor_params: Vec<crate::TypedParam>,
    ctor_body: Option<crate::StmtId>,
    /// Parameter-property copies then own-field initializers, in execution order.
    /// Emitted at the post-`super()` field-setup point — after the parent is
    /// initialized, before the rest of the constructor body.
    field_setup: Vec<FieldSetup>,
    /// Accessor property names (own). These are not data fields, so they need a
    /// per-name `$string` global for the runtime property scan even though they
    /// never appear in any shape's field-names array.
    accessor_names: Vec<String>,
    struct_type_idx: u32,
    vtable_type_idx: u32,
    ctor_func_idx: u32,
    ctor_sig_idx: u32,
    /// Constructor *init* fn: self-first body that initializes fields on an
    /// already-allocated instance (`super(...)` calls it; the entry constructor
    /// delegates to it after allocation).
    ctor_init_func_idx: u32,
    ctor_init_sig_idx: u32,
    getter_func_idx: u32,
    setter_func_idx: u32,
    /// Per-class `equals` body (vtable universal slot 2): nominal exact-class
    /// guard + structural compare of the data-field payload slots.
    equals_func_idx: u32,
    /// Per-class universal slot 0 body: a user `toString(): string` method
    /// thunk, else the `"[object Object]"` default.
    to_string_func_idx: u32,
    /// Per-class universal slot 1 body: a user `toJson(): string` method
    /// thunk, else data-field JSON in canonical sorted-key order.
    to_json_func_idx: u32,
    /// Per-class universal slot 3 body: FNV-1a over the data-field payload
    /// slots, consistent with the `equals` contract.
    hash_func_idx: u32,
    guarded_bodies: GuardedBodies,
}

impl ClassLayout {
    /// The non-generic vtable slots that enter the instance payload, in slot
    /// order — every method in the inheritance chain, not just the declared
    /// ones. An interface-typed receiver resolves a method by scanning this
    /// payload, and `implements` conformance may be satisfied by an inherited
    /// member, so a subclass instance has to carry the whole chain.
    fn payload_slots(&self) -> impl Iterator<Item = &MethodSlot> {
        self.methods.iter().filter(|s| !s.generic)
    }

    /// Instance payload names: the full data fields (inherited prefix then own,
    /// folded in by [`ClassPlan::collect`]) followed by the payload method
    /// names. Single source of truth for the payload built in
    /// [`ClassPlan::emit_ctor_body`] and the field-names global that indexes it.
    fn payload_field_names(&self) -> Vec<super::field_names::FieldName> {
        let mut names: Vec<_> = self
            .fields
            .iter()
            .map(|f| super::field_names::FieldName {
                name: f.name.clone(),
                optional: f.optional,
                is_accessor: false,
                is_private: self.private_members.contains(&f.name),
            })
            .collect();
        names.extend(self.payload_slots().map(|s| super::field_names::FieldName {
            name: s.name.clone(),
            optional: false,
            is_accessor: s.name.starts_with("get ") || s.name.starts_with("set "),
            is_private: self.private_members.contains(&s.name),
        }));
        names
    }
}

#[derive(Clone)]
struct FieldLayout {
    name: String,
    optional: bool,
    /// Inherited along the layout prefix, so a subclass that does not redeclare
    /// still reads at the narrowed type. See [`crate::FieldNarrowingCheck`].
    narrowing_check: Option<Box<crate::FieldNarrowingCheck>>,
}

/// A method declared on the class itself (own or override) — gets a real Wasm body.
#[derive(Clone)]
struct OwnMethod {
    name: String,
    name_span: crate::Span,
    /// The backtrace name: `C.m`, or `get C.x` / `set C.x` for an accessor.
    frame_name: String,
    params: Vec<crate::TypedParam>,
    body: crate::StmtId,
    return_type: crate::Type,
    /// A method declaring its own type parameters is rejected at bind time; the
    /// flag only exists so codegen can emit an unreachable stub for its slot.
    generic: bool,
}

/// The class-emission plan, computed once and threaded through the codegen phases.
pub struct ClassPlan {
    package_name: String,
    classes: Vec<ClassLayout>,
    /// Shared `unreachable` stubs for the universal vtable slots. No vtable
    /// references them anymore (every class emits its own four real bodies);
    /// they're kept only so function numbering stays stable.
    universal_stubs: [u32; UNIVERSAL_STUB_COUNT],
}

impl ClassPlan {
    pub fn is_empty(&self) -> bool {
        self.classes.is_empty()
    }

    /// Phase 0: gather class declarations from the typed AST, topologically
    /// ordered by `extends` (parents before children), and resolve each class's
    /// full field + method slot layout across the inheritance chain.
    pub fn collect(
        ta: &TypedAst,
        imported: &BTreeMap<MangledName, ImportedClassLayout>,
    ) -> Result<Self, crate::compiler_error::CompilerFailure> {
        let by_mangled: BTreeMap<&MangledName, &TypedClassDecl> = ta
            .types
            .iter()
            .filter_map(|d| match d {
                TypedTypeDecl::Class(c) => Some((&c.mangled_name, c)),
                _ => None,
            })
            .collect();

        let order = topo_order(&by_mangled)?;
        let mut private_members: BTreeMap<MangledName, BTreeSet<String>> = imported
            .iter()
            .map(|(name, layout)| (name.clone(), layout.private_members.clone()))
            .collect();

        // Build layouts in topo order so a parent's resolved layout is available
        // when its child is processed.
        let mut layouts: BTreeMap<MangledName, ResolvedLayout> = BTreeMap::new();
        let mut ordered: Vec<MangledName> = Vec::new();
        // Which of each class's data-field slots came from its parent prefix —
        // read back below to decide which own fields need a construction-time
        // reset (see [`field_setup_steps`]).
        let mut inherited_fields: BTreeMap<MangledName, BTreeSet<String>> = BTreeMap::new();

        for mangled in &order {
            let decl = class_decl(&by_mangled, mangled)?;
            let mut private = match &decl.extends {
                Some(parent) => private_members
                    .get(parent)
                    .cloned()
                    .ok_or_else(|| unavailable_parent(parent))?,
                None => BTreeSet::new(),
            };
            for field in &decl.fields {
                if field.visibility == crate::Visibility::Private {
                    private.insert(field.name.name.clone());
                }
            }
            for accessor in &decl.accessors {
                if accessor.visibility() == crate::Visibility::Private {
                    private.insert(accessor_getter_name(&accessor.name().name));
                    private.insert(accessor_setter_name(&accessor.name().name));
                }
            }
            private_members.insert(mangled.clone(), private);
            // Parent prefix: a local parent (resolved earlier this pass) or an
            // imported parent (its full layout reconstructed in `imported_classes`).
            let (parent_fields, parent_methods) = match &decl.extends {
                Some(parent) => parent_prefix(parent, &layouts, imported)?,
                None => (Vec::new(), Vec::new()),
            };

            // Slot order is an internal ABI, not source order: own members sort
            // by name and append after the inherited prefix. A cross-package
            // consumer derives the identical order from the (sorted) public
            // `PackageDeclaration` maps, so no order metadata crosses the boundary.
            // Serialization sorts the full set itself (spec.md §JSON), so payload
            // order stays free.
            let mut own_fields: Vec<&crate::TypedClassField> = decl.fields.iter().collect();
            own_fields.sort_by(|a, b| a.name.name.cmp(&b.name.name));
            // Accessors lower to internal getter/setter methods here in codegen —
            // they are not methods in the typed AST or `PackageDeclaration`.
            let synth_methods = accessor_methods(decl);
            let mut sorted_methods: Vec<(&crate::TypedClassMethod, String)> = decl
                .methods
                .iter()
                .map(|m| (m, format!("{}.{}", decl.name.name, m.name.name)))
                .chain(synth_methods.iter().map(|(m, frame)| (m, frame.clone())))
                .collect();
            sorted_methods.sort_by(|(a, _), (b, _)| a.name.name.cmp(&b.name.name));

            inherited_fields.insert(
                mangled.clone(),
                parent_fields.iter().map(|f| f.name.clone()).collect(),
            );
            let mut fields: Vec<FieldLayout> = parent_fields;
            for f in &own_fields {
                // A redeclaration reuses the parent's slot. Its guard replaces the
                // inherited one only if it has its own: redeclaring at the *same*
                // type as the parent narrows nothing and records none, and the
                // guard the ancestor installed still describes this slot.
                if let Some(slot) = fields.iter_mut().find(|e| e.name == f.name.name) {
                    slot.optional = f.optional;
                    if let Some(check) = f.narrowing_check.clone() {
                        slot.narrowing_check = Some(check);
                    }
                    continue;
                }
                fields.push(FieldLayout {
                    name: f.name.name.clone(),
                    optional: f.optional,
                    narrowing_check: f.narrowing_check.clone(),
                });
            }

            let mut methods: Vec<SlotDraft> = parent_methods;
            for (m, _) in &sorted_methods {
                let param_tys: Vec<crate::Type> = m.params.iter().map(|p| p.ty.clone()).collect();
                let argument_metadata = super::call_arguments::typed_metadata(&m.params);
                if let Some(slot) = methods.iter_mut().find(|s| s.name == m.name.name) {
                    // Override: same slot, body now supplied by this class — so
                    // the slot must describe *this* body, not the ancestor's.
                    slot.owner = decl.mangled_name.clone();
                    slot.param_tys = param_tys;
                    slot.argument_metadata = argument_metadata;
                    slot.ret_ty = m.return_type.clone();
                    slot.generic = !m.generics.is_empty();
                } else {
                    methods.push(SlotDraft {
                        name: m.name.name.clone(),
                        owner: decl.mangled_name.clone(),
                        param_tys,
                        argument_metadata,
                        ret_ty: m.return_type.clone(),
                        generic: !m.generics.is_empty(),
                    });
                }
            }
            let own_methods: Vec<OwnMethod> = sorted_methods
                .into_iter()
                .map(|(m, frame_name)| OwnMethod {
                    name: m.name.name.clone(),
                    name_span: m.name.span,
                    frame_name,
                    params: m.params.clone(),
                    body: m.body,
                    return_type: m.return_type.clone(),
                    generic: !m.generics.is_empty(),
                })
                .collect();
            layouts.insert(mangled.clone(), (fields, methods, own_methods));
            ordered.push(mangled.clone());
        }

        // Effective ctor params per class (topo order, parents first), so an
        // implicit constructor (no body, has a parent) inherits the nearest
        // ancestor's params — what the entry constructor takes and forwards.
        // Seeded with imported parents so a local subclass of one inherits its
        // params across the package boundary.
        let mut ctor_params_by_mangled: BTreeMap<MangledName, Vec<crate::TypedParam>> = imported
            .iter()
            .map(|(m, l)| (m.clone(), l.ctor_params.clone()))
            .collect();
        let mut classes: Vec<ClassLayout> = Vec::with_capacity(ordered.len());
        for mangled in ordered {
            let decl = class_decl(&by_mangled, &mangled)?;
            let (fields, method_drafts, own_methods) = layouts
                .remove(&mangled)
                .ok_or_else(|| internal_failure("a class layout was resolved out of order"))?;
            // An inherited signature comes from the typed AST with the
            // `extends` clause's type arguments substituted, matching what the
            // declaration exports and a consumer imports; re-deriving the
            // parent's unsubstituted parameters here would emit a module that
            // cannot link.
            let ctor_params = decl.effective_ctor_params().to_vec();
            let ctor_body = decl.constructor.as_ref().map(|c| c.body);
            ctor_params_by_mangled.insert(mangled.clone(), ctor_params.clone());
            let inherited = inherited_fields.remove(&mangled).ok_or_else(|| {
                internal_failure("a class's inherited field names were not recorded")
            })?;
            let field_setup = field_setup_steps(decl, &inherited)?;
            // get + set share a property name; dedup for the per-name string globals.
            let accessor_names: Vec<String> = decl
                .accessors
                .iter()
                .map(|a| a.name().name.clone())
                .collect::<std::collections::BTreeSet<_>>()
                .into_iter()
                .collect();
            let private_members = private_members
                .remove(&mangled)
                .ok_or_else(|| internal_failure("a class's private members were not recorded"))?;
            classes.push(ClassLayout {
                private_members,
                generics: ta
                    .runtime_class_parameters
                    .get(&mangled)
                    .cloned()
                    .unwrap_or_default(),
                mangled: mangled.clone(),
                name: decl.name.name.clone(),
                name_span: decl.name.span,
                parent: decl.extends.clone(),
                fields,
                field_setup,
                accessor_names,
                methods: method_drafts
                    .into_iter()
                    .map(|d| MethodSlot {
                        name: d.name,
                        owner: d.owner,
                        sig_idx: 0, // filled in reserve_types
                        param_tys: d.param_tys,
                        argument_metadata: d.argument_metadata,
                        ret_ty: d.ret_ty,
                        generic: d.generic,
                    })
                    .collect(),
                own_methods,
                adapter_slots: Vec::new(),
                ctor_params,
                ctor_body,
                struct_type_idx: 0,
                vtable_type_idx: 0,
                ctor_func_idx: 0,
                ctor_sig_idx: 0,
                ctor_init_func_idx: 0,
                ctor_init_sig_idx: 0,
                getter_func_idx: 0,
                setter_func_idx: 0,
                equals_func_idx: 0,
                to_string_func_idx: 0,
                to_json_func_idx: 0,
                hash_func_idx: 0,
                guarded_bodies: GuardedBodies::default(),
            });
        }

        Ok(ClassPlan {
            package_name: ta.package_name.to_string(),
            classes,
            universal_stubs: [0; UNIVERSAL_STUB_COUNT],
        })
    }

    /// The class's instance `Type::ClassRef`, for constructor return types.
    fn class_ref_ty(&self, class: &ClassLayout) -> crate::Type {
        crate::Type::class_ref(
            crate::Package(self.package_name.clone()),
            class.name.clone(),
            class.mangled.clone(),
            Vec::new(),
        )
    }

    /// The ordered list of class field-name vectors, for the shared
    /// field-names-array global emission (`field_names::emit`). Built from the
    /// same helper the instance payload is, so the two cannot drift.
    pub fn field_name_lists(&self) -> Vec<Vec<super::field_names::FieldName>> {
        self.classes
            .iter()
            .map(ClassLayout::payload_field_names)
            .collect()
    }

    /// Accessor property names across all classes. They need per-name `$string`
    /// globals for the runtime property scan, but are not data fields, so they're
    /// excluded from `field_name_lists` (no shape stores them).
    pub fn accessor_property_names(&self) -> Vec<String> {
        self.classes
            .iter()
            .flat_map(|c| c.accessor_names.iter().cloned())
            .collect()
    }

    /// Phase: emit standalone method fn-type sigs, then reserve struct/vtable type
    /// indices, then emit the class rec group. `types`/`next_type_idx` advance in
    /// lockstep with the wasm-encoder type section.
    pub fn reserve_and_emit_types(
        &mut self,
        types: &mut TypeSection,
        next_type_idx: &mut u32,
        symbols: &mut SymbolTable,
        intrinsics: IntrinsicTypeIndices,
    ) -> Result<(), crate::compiler_error::CompilerFailure> {
        if self.classes.is_empty() {
            return Ok(());
        }
        // 1. A standalone fn-type sig per method slot first introduced (base
        //    method or subclass-new method); overrides reuse the parent's sig.
        //    Each sig carries its erasure shape (derived from the originating
        //    declaration's types) — inherited/override slots copy it with the
        //    sig, so a call through any class in the chain sees the physical
        //    slot's boxing needs.
        let mut sig_by_name: BTreeMap<(MangledName, String), (u32, MethodSlotAbi)> =
            BTreeMap::new();
        for class in &self.classes {
            for slot in &class.methods {
                // Only allocate when this class is where the slot's sig originates:
                // i.e. the method is declared here AND the parent has no such slot.
                let parent_has = match &class.parent {
                    Some(p) => inherited_slot_sig(&sig_by_name, symbols, p, &slot.name)?,
                    None => None,
                };
                if let Some(parent_entry) = parent_has {
                    sig_by_name.insert((class.mangled.clone(), slot.name.clone()), parent_entry);
                    continue;
                }
                // Slot originates here: build its sig from the declaring method.
                // `own_methods` includes the synthetic accessor getter/setter.
                let method = class
                    .own_methods
                    .iter()
                    .find(|m| m.name == slot.name)
                    .ok_or_else(|| {
                        internal_failure("a class method slot originates in a class without it")
                    })?;
                let mut params: Vec<ValType> = vec![ref_to(intrinsics.object)];
                // Overrides may widen parameters beyond the ancestor's representation.
                // Every method argument therefore crosses a nullable boxed slot.
                params.extend(
                    method
                        .params
                        .iter()
                        .map(|_| symbols.value_type(&crate::Type::Unknown))
                        .collect::<Result<Vec<_>, _>>()?,
                );
                let results = symbols.slot_wasm_result(&method.return_type)?;
                let abi = MethodSlotAbi {
                    params: params.iter().skip(1).copied().collect(),
                    ret: results.first().copied(),
                };
                let sig_idx = next_index(next_type_idx)?;
                types.ty().function(params, results);
                sig_by_name.insert((class.mangled.clone(), slot.name.clone()), (sig_idx, abi));
            }
        }
        // Stamp each slot's sig_idx (resolving inherited slots to their origin sig).
        for class in &mut self.classes {
            for slot in &mut class.methods {
                slot.sig_idx = sig_by_name
                    .get(&(class.mangled.clone(), slot.name.clone()))
                    .ok_or_else(|| internal_failure("a class method slot has no signature"))?
                    .0;
            }
        }

        // 2. Reserve struct + vtable type indices: one (vtable, struct) pair per
        //    class, interleaved, in topo order (parents precede children).
        for class in &mut self.classes {
            class.vtable_type_idx = next_index(next_type_idx)?;
            class.struct_type_idx = next_index(next_type_idx)?;
            symbols.record_class_vtable_type(class.mangled.clone(), class.vtable_type_idx);
            symbols.record_class_struct_type(class.mangled.clone(), class.struct_type_idx);
            let vtable_super = vtable_supertype_idx(class, intrinsics, symbols)?;
            let struct_super = struct_supertype_idx(class, intrinsics, symbols)?;
            symbols.record_struct_supertype(class.vtable_type_idx, vtable_super);
            symbols.record_struct_supertype(class.struct_type_idx, struct_super);
        }

        // 3. Emit one rec group per class: `(rec $Foo_vtable $Foo)`. A subclass's
        //    group references its parent's types from an earlier rec group — valid
        //    because there are no cross-class type cycles (single inheritance; a
        //    class's fields live in the object-fields payload, not as named struct
        //    fields, so the struct only references its own vtable + intrinsics).
        //    Per-class groups let a cross-package consumer reconstruct just the
        //    classes it uses, byte-identically.
        for class in &self.classes {
            let vtable = self.vtable_subtype(class, intrinsics, symbols)?;
            let strukt = self.struct_subtype(class, intrinsics, symbols)?;
            types.ty().rec([vtable, strukt]);
        }

        // Record each field's payload index inside ObjectShape.fields.
        for class in &self.classes {
            symbols
                .class_type_parameters
                .insert(class.mangled.clone(), class.generics.clone());
            let parent_guarded = match &class.parent {
                Some(parent) => {
                    symbols
                        .recorded_class_guard_layout(parent)?
                        .has_instance_guards
                }
                None => false,
            };
            symbols.record_class_guard_layout(
                class.mangled.clone(),
                class.parent.as_ref(),
                wasm_u32(class.payload_field_names().len())?,
                !class.generics.is_empty()
                    || parent_guarded
                    || class
                        .fields
                        .iter()
                        .any(|field| field.narrowing_check.is_some()),
            )?;
            for (i, f) in class.fields.iter().enumerate() {
                symbols.record_class_field_slot(
                    class.mangled.clone(),
                    f.name.clone(),
                    wasm_u32(i)?,
                );
                if let Some(check) = &f.narrowing_check {
                    symbols.record_class_field_narrowing_check(
                        class.mangled.clone(),
                        f.name.clone(),
                        (**check).clone(),
                    );
                }
            }
            // Method vtable slot (universal slots + parent link precede user
            // methods) + its sig, for every slot in the chain so a parent-typed
            // receiver resolves too.
            for (i, slot) in class.methods.iter().enumerate() {
                if !slot.generic && !slot.name.starts_with("get ") && !slot.name.starts_with("set ")
                {
                    symbols.record_class_payload_method(class.mangled.clone(), slot.name.clone());
                }
                symbols.record_class_method_slot(
                    class.mangled.clone(),
                    slot.name.clone(),
                    method_vtable_slot(i)?,
                );
                symbols.record_class_method_sig(
                    class.mangled.clone(),
                    slot.name.clone(),
                    slot.sig_idx,
                );
                if let Some((_, abi)) = sig_by_name.get(&(class.mangled.clone(), slot.name.clone()))
                {
                    symbols.record_class_method_abi(
                        class.mangled.clone(),
                        slot.name.clone(),
                        abi.clone(),
                    );
                }
            }
        }

        // 4. Constructor fn-type sigs — standalone, emitted *after* the rec group
        //    so they can reference `(ref $Foo)` (a rec-group type) as the return.
        //    Each class gets two: the allocating entry `(params) -> (ref $Foo)`,
        //    and the self-first init `((ref $Object), params) -> ()`. Parameters
        //    erase like method slots so a cross-package consumer reconstructs
        //    the same signature whatever order it rebuilds the classes in.
        let object_idx = intrinsics.object;
        for class in &mut self.classes {
            let params: Vec<ValType> = class
                .ctor_params
                .iter()
                .map(|p| symbols.slot_value_type(&p.ty))
                .collect::<Result<_, _>>()?;
            symbols.record_class_ctor_abi(class.mangled.clone(), params.clone());
            let ret = ref_to(class.struct_type_idx);
            let mut entry_params = params.clone();
            if symbols
                .recorded_class_guard_layout(&class.mangled)?
                .has_instance_guards
            {
                entry_params.push(ref_to(intrinsics.object_fields));
            }
            class.ctor_sig_idx = next_index(next_type_idx)?;
            types.ty().function(entry_params, vec![ret]);

            let mut init_params = vec![ref_to(object_idx)];
            init_params.extend(params);
            class.ctor_init_sig_idx = next_index(next_type_idx)?;
            types.ty().function(init_params, Vec::new());
        }
        Ok(())
    }

    fn vtable_subtype(
        &self,
        class: &ClassLayout,
        intrinsics: IntrinsicTypeIndices,
        symbols: &SymbolTable,
    ) -> Result<SubType, CompilerFailure> {
        let supertype = vtable_supertype_idx(class, intrinsics, symbols)?;
        let mut fields: Vec<FieldType> = vec![
            fieldtype_ref(intrinsics.to_string_fn),
            fieldtype_ref(intrinsics.to_json_fn),
            fieldtype_ref(intrinsics.equals_fn),
            fieldtype_ref(intrinsics.hash_fn),
            fieldtype_ref_null(intrinsics.class_vtable),
            FieldType {
                element_type: StorageType::Val(ValType::I32),
                mutable: false,
            },
        ];
        for slot in &class.methods {
            fields.push(fieldtype_ref(slot.sig_idx));
        }
        Ok(substruct(fields, Some(supertype)))
    }

    fn struct_subtype(
        &self,
        class: &ClassLayout,
        intrinsics: IntrinsicTypeIndices,
        symbols: &SymbolTable,
    ) -> Result<SubType, CompilerFailure> {
        let supertype = struct_supertype_idx(class, intrinsics, symbols)?;
        // Header slots 0-2: vtable (refined to this class's vtable),
        // field-names, object-fields. Wasm requires the full supertype prefix
        // to be re-listed.
        let fields: Vec<FieldType> = vec![
            fieldtype_ref(class.vtable_type_idx),
            FieldType {
                mutable: true,
                ..fieldtype_ref(intrinsics.field_names)
            },
            FieldType {
                mutable: true,
                ..fieldtype_ref(intrinsics.object_fields)
            },
            FieldType {
                element_type: StorageType::Val(ValType::Ref(RefType::ANYREF)),
                mutable: true,
            },
            FieldType {
                element_type: StorageType::Val(ValType::I64),
                mutable: true,
            },
        ];
        Ok(substruct(fields, Some(supertype)))
    }

    /// Phase: reserve function indices — 4 shared universal stubs, then per-class
    /// method stubs (one per own method) + getter + setter.
    pub fn allocate_funcs(
        &mut self,
        next_func_idx: &mut u32,
        symbols: &mut SymbolTable,
    ) -> Result<(), CompilerFailure> {
        if self.classes.is_empty() {
            return Ok(());
        }
        self.universal_stubs = [
            next_index(next_func_idx)?,
            next_index(next_func_idx)?,
            next_index(next_func_idx)?,
            next_index(next_func_idx)?,
        ];
        // Borrow-checker: build the (mangled, ctor params, ret) tuples first so we
        // can call the `&self` helper `class_ref_ty` before the `&mut` loop.
        let ctor_infos: Vec<(MangledName, Vec<crate::Type>, crate::Type)> = self
            .classes
            .iter()
            .map(|c| {
                (
                    crate::mangle::extend(&c.mangled, "constructor"),
                    c.ctor_params.iter().map(|p| p.ty.clone()).collect(),
                    self.class_ref_ty(c),
                )
            })
            .collect();
        for (class, (ctor_mangled, ctor_param_tys, ret)) in self.classes.iter_mut().zip(ctor_infos)
        {
            // Constructor first (its index backs the `new Foo(...)` direct call),
            // then its init body (backs `super(...)` and the entry's delegation).
            class.ctor_func_idx = next_index(next_func_idx)?;
            symbols.record_local_fn(ctor_mangled, class.ctor_func_idx, ctor_param_tys, ret)?;
            class.ctor_init_func_idx = next_index(next_func_idx)?;
            symbols.record_class_ctor_init_func(class.mangled.clone(), class.ctor_init_func_idx);
            symbols.record_class_field_setup(class.mangled.clone(), class.field_setup.clone());
            for method in &class.own_methods {
                let idx = next_index(next_func_idx)?;
                symbols.record_class_method_func(class.mangled.clone(), method.name.clone(), idx);
            }
            // One closure-ABI adapter per non-generic *slot* — inherited ones
            // included, since an interface-typed receiver scans the instance
            // payload, which carries the whole chain. An override rewrites the
            // slot's owner to this class, so a declared method still allocates
            // here; a slot inherited from a local ancestor reuses that
            // ancestor's adapter, which is valid because the adapter takes its
            // receiver as `(ref $Object)` and casts.
            let mut adapter_slots: Vec<usize> = Vec::new();
            for (i, slot) in class.methods.iter().enumerate() {
                if slot.generic {
                    continue;
                }
                let reused = (slot.owner != class.mangled)
                    .then(|| symbols.class_method_adapter_func_idx(&slot.owner, &slot.name))
                    .flatten();
                let idx = match reused {
                    Some(idx) => idx,
                    None => next_index(next_func_idx)?,
                };
                if reused.is_none() {
                    adapter_slots.push(i);
                    // Also key it by the owner, so descendants of this class
                    // find it. Without this an import-owned slot re-emits an
                    // identical adapter at every level of a local chain: the
                    // owner is the imported class all the way down, and only
                    // the emitting class was ever recorded.
                    symbols.record_class_method_adapter_func(
                        slot.owner.clone(),
                        slot.name.clone(),
                        idx,
                    );
                }
                symbols.record_class_method_adapter_func(
                    class.mangled.clone(),
                    slot.name.clone(),
                    idx,
                );
            }
            class.adapter_slots = adapter_slots;
            // Retained temporarily for stable function/global numbering while
            // class field dispatch migrates to the object-fields payload.
            class.getter_func_idx = next_index(next_func_idx)?;
            class.setter_func_idx = next_index(next_func_idx)?;
            class.equals_func_idx = next_index(next_func_idx)?;
            class.to_string_func_idx = next_index(next_func_idx)?;
            class.to_json_func_idx = next_index(next_func_idx)?;
            class.hash_func_idx = next_index(next_func_idx)?;
            // Field order is allocation order, which the body emission follows.
            class.guarded_bodies = GuardedBodies {
                equals: next_index(next_func_idx)?,
                to_json: next_index(next_func_idx)?,
                hash: next_index(next_func_idx)?,
            };
        }
        Ok(())
    }

    /// Phase: function-section entries for every emitted function, in the same
    /// order as `allocate_funcs` / `emit_bodies`.
    pub fn emit_function_entries(
        &self,
        functions: &mut FunctionSection,
        symbols: &SymbolTable,
        intrinsics: IntrinsicTypeIndices,
    ) -> Result<(), crate::compiler_error::CompilerFailure> {
        if self.classes.is_empty() {
            return Ok(());
        }
        functions.function(intrinsics.to_string_fn);
        functions.function(intrinsics.to_json_fn);
        functions.function(intrinsics.equals_fn);
        functions.function(intrinsics.hash_fn);
        for class in &self.classes {
            functions.function(class.ctor_sig_idx);
            functions.function(class.ctor_init_sig_idx);
            for method in &class.own_methods {
                let sig_idx = class
                    .methods
                    .iter()
                    .find(|s| s.name == method.name)
                    .ok_or_else(|| internal_failure("a class's own method has no vtable slot"))?
                    .sig_idx;
                functions.function(sig_idx);
            }
            for &i in &class.adapter_slots {
                let ty = symbols
                    .closure_func_type_idx(slot_closure_sig(class.methods.get(i).ok_or_else(
                        || {
                            crate::codegen::internal_failure(
                                "class adapter refers to a missing method slot",
                            )
                        },
                    )?)?)
                    .ok_or_else(|| {
                        crate::codegen::internal_failure(
                            "class method closure sig registered (closures::class_member_sigs)",
                        )
                    })?;
                functions.function(ty);
            }
            functions.function(intrinsics.field_getter);
            functions.function(intrinsics.field_setter);
            functions.function(intrinsics.equals_fn);
            functions.function(intrinsics.to_string_fn);
            functions.function(intrinsics.to_json_fn);
            functions.function(intrinsics.hash_fn);
            functions.function(intrinsics.equals_fn);
            functions.function(intrinsics.to_json_fn);
            functions.function(intrinsics.hash_fn);
        }
        Ok(())
    }

    /// Phase: vtable instance, getter, and setter globals (the field-names array
    /// global is emitted separately via `field_names::emit`).
    pub fn emit_globals(
        &self,
        globals: &mut GlobalSection,
        symbols: &mut SymbolTable,
        next_global_idx: &mut u32,
        intrinsics: IntrinsicTypeIndices,
    ) -> Result<(), CompilerFailure> {
        for class in &self.classes {
            // Vtable instance: the four per-class universal bodies + the
            // parent-vtable link + a ref.func per method slot (resolved to the
            // owning class's body), then struct.new $Foo_vtable. The parent
            // link is a global.get of the parent's singleton — an earlier
            // defined global (topo order, parents first) or an imported one
            // (cross-package / `Error`); both are valid in a const expr.
            let parent_link = match &class.parent {
                Some(p) => {
                    Instruction::GlobalGet(symbols.class_vtable_global_idx(p).ok_or_else(|| {
                        internal_failure("a parent vtable global was not recorded before its child")
                    })?)
                }
                None => Instruction::RefNull(HeapType::Concrete(intrinsics.class_vtable)),
            };
            let mut instrs: Vec<Instruction<'_>> = vec![
                Instruction::RefFunc(class.to_string_func_idx),
                Instruction::RefFunc(class.to_json_func_idx),
                Instruction::RefFunc(class.equals_func_idx),
                Instruction::RefFunc(class.hash_func_idx),
                parent_link,
                Instruction::I32Const(i32::from(
                    !class.methods.iter().any(|slot| slot.name == "toJson"),
                )),
            ];
            for slot in &class.methods {
                let func = symbols
                    .class_method_func_idx(&slot.owner, &slot.name)
                    .ok_or_else(|| internal_failure("a class method body was not allocated"))?;
                instrs.push(Instruction::RefFunc(func));
            }
            instrs.push(Instruction::StructNew(class.vtable_type_idx));
            globals.global(
                GlobalType {
                    val_type: ref_to(class.vtable_type_idx),
                    mutable: false,
                    shared: false,
                },
                &ConstExpr::extended(instrs),
            );
            symbols.record_class_vtable_global(class.mangled.clone(), next_index(next_global_idx)?);

            // Getter + setter globals are no longer part of ObjectShape, but keep
            // emitting them for now so existing numbering remains stable.
            globals.global(
                GlobalType {
                    val_type: ref_to(intrinsics.field_getter),
                    mutable: false,
                    shared: false,
                },
                &ConstExpr::extended([Instruction::RefFunc(class.getter_func_idx)]),
            );
            symbols.record_class_getter_global(class.mangled.clone(), next_index(next_global_idx)?);

            globals.global(
                GlobalType {
                    val_type: ref_to(intrinsics.field_setter),
                    mutable: false,
                    shared: false,
                },
                &ConstExpr::extended([Instruction::RefFunc(class.setter_func_idx)]),
            );
            symbols.record_class_setter_global(class.mangled.clone(), next_index(next_global_idx)?);
        }
        Ok(())
    }

    /// Phase: function bodies — constructor + init, method bodies and their
    /// closure adapters, then the retired getter/setter stubs (kept for stable
    /// numbering) and the four per-class universal vtable bodies
    /// (equals/toString/toJson/hash).
    pub fn emit_bodies(
        &self,
        code: &mut CodeSection,
        debug: &mut super::dwarf::DebugFunctions,
        ctx: &crate::codegen::CodegenCtx<'_>,
    ) -> Result<(), crate::compiler_error::CompilerFailure> {
        if self.classes.is_empty() {
            return Ok(());
        }
        // The slot-2 stub is unreferenced (each class emits its own equals
        // body) but kept so function numbering stays in lockstep with
        // `allocate_funcs` / `emit_function_entries`.
        for _ in 0..UNIVERSAL_STUB_COUNT {
            code.function(&stub_body());
        }
        for class in &self.classes {
            code.function(&self.emit_ctor_body(class, ctx)?);
            // The constructor body and field initializers run in the init fn, so
            // that is the frame a failure in them names.
            debug.write(
                code,
                self.emit_ctor_init(class, ctx)?,
                format!("new {}", class.name),
                class.name_span,
            )?;
            for method in &class.own_methods {
                if method.generic {
                    code.function(&stub_body());
                    continue;
                }
                debug.write(
                    code,
                    self.emit_method_body(class, method, ctx)?,
                    method.frame_name.clone(),
                    method.name_span,
                )?;
            }
            for &i in &class.adapter_slots {
                code.function(&self.emit_method_adapter_body(
                    class,
                    class.methods.get(i).ok_or_else(|| {
                        crate::codegen::internal_failure(
                            "class adapter refers to a missing method slot",
                        )
                    })?,
                    ctx,
                )?);
            }
            // getter, then setter.
            code.function(&stub_body());
            code.function(&stub_body());
            let intrinsics = ctx
                .symbols
                .intrinsic_type_indices()
                .ok_or_else(|| internal_failure("intrinsic types are not declared"))?;
            let bodies = class.guarded_bodies;
            code.function(&super::vtable_walk::guarded_body(
                bodies.equals,
                2,
                ValType::I32,
                ctx.symbols,
            )?);
            let string_vtable_global_idx = ctx
                .symbols
                .prelude_global_idx("string_vtable")
                .ok_or_else(|| {
                    internal_failure("string_vtable is not imported from the prelude")
                })?;
            // A user `toString`/`toJson` method fills the universal slot (the
            // universal slots require strings even when the authored method's
            // physical return has widened to preserve live values).
            let user_method_thunk =
                |name: &str| -> Result<Option<Function>, crate::compiler_error::CompilerFailure> {
                    class
                        .methods
                        .iter()
                        .find(|s| s.name == name)
                        .map(|slot| emit_universal_slot_thunk(ctx, &slot.name))
                        .transpose()
                };
            let extends_error = ctx
                .symbols
                .class_struct_type_idx(&crate::mangle::prelude("Error"))
                .is_some_and(|error_type| {
                    ctx.symbols.ref_fits_slot(
                        RefType {
                            nullable: false,
                            heap_type: HeapType::Concrete(class.struct_type_idx),
                        },
                        RefType {
                            nullable: false,
                            heap_type: HeapType::Concrete(error_type),
                        },
                    )
                });
            let to_string = match user_method_thunk("toString")? {
                Some(thunk) => thunk,
                None if class.fields.iter().any(|field| field.name == "toString") => {
                    emit_class_to_string_field_body(ctx.symbols, intrinsics)?
                }
                None if extends_error => {
                    emit_error_slot_body(ctx.symbols, intrinsics, 0, intrinsics.to_string_fn)?
                }
                None => emit_class_to_string_body(intrinsics, string_vtable_global_idx)?,
            };
            code.function(&to_string);
            code.function(&super::vtable_walk::guarded_body(
                bodies.to_json,
                1,
                ref_to(intrinsics.string),
                ctx.symbols,
            )?);
            code.function(&super::vtable_walk::guarded_body(
                bodies.hash,
                1,
                ValType::I32,
                ctx.symbols,
            )?);
            let field_count = wasm_u32(class.fields.len())?;
            if extends_error {
                let mut equals = Function::new([]);
                equals.instruction(&Instruction::LocalGet(0));
                equals.instruction(&Instruction::LocalGet(1));
                equals.instruction(&Instruction::RefEq);
                equals.instruction(&Instruction::End);
                code.function(&equals);
            } else {
                code.function(&emit_class_equals_body(field_count, intrinsics));
            }
            let to_json = match user_method_thunk("toJson")? {
                Some(thunk) => thunk,
                None => emit_class_to_json_body(ctx.symbols)?,
            };
            code.function(&to_json);
            if extends_error {
                code.function(&emit_error_slot_body(
                    ctx.symbols,
                    intrinsics,
                    3,
                    intrinsics.hash_fn,
                )?);
            } else {
                code.function(&emit_class_hash_body(field_count, intrinsics));
            }
        }
        Ok(())
    }

    /// Closure-ABI adapter for one vtable slot: forward the boxed args, call the
    /// body backing the slot (self-first), and box a primitive slot return. `env` (slot 0) is the receiver — cast it to `(ref $Object)` for
    /// the body's self param, which is why one adapter serves every subclass.
    /// Mirrors [`function_adapters::emit_bodies`].
    ///
    /// `class` is used only for the ABI lookup; every other input comes from
    /// the slot. That is sound because a slot's `MethodSlotAbi` is
    /// chain-invariant — `reserve_types` propagates the declarer's verbatim,
    /// and the one place a slot's types are rewritten (an override) rewrites
    /// `owner` too, so an overridden slot never shares an adapter. Classes
    /// sharing an adapter therefore necessarily share its ABI. Make a slot's
    /// ABI class-dependent and that stops holding, with no validation error to
    /// catch it — reuse would box against the wrong shape.
    fn emit_method_adapter_body(
        &self,
        class: &ClassLayout,
        slot: &MethodSlot,
        ctx: &crate::codegen::CodegenCtx<'_>,
    ) -> Result<Function, crate::compiler_error::CompilerFailure> {
        use crate::codegen::function_emitter::{FunctionEmitter, cast};

        slot_closure_sig(slot)?;
        let intrinsics = ctx.symbols.intrinsic_type_indices().ok_or_else(|| {
            crate::codegen::internal_failure("intrinsics declared by codegen entry")
        })?;
        let object_ref_null = ValType::Ref(RefType {
            nullable: true,
            heap_type: HeapType::Concrete(intrinsics.object),
        });
        let any_ref = ValType::Ref(RefType {
            nullable: false,
            heap_type: HeapType::ANY,
        });
        let mut wasm_params: Vec<(crate::Ident, ValType)> = vec![(
            crate::Ident {
                name: "$__env__".to_string(),
                span: crate::Span::at(ctx.file),
            },
            any_ref,
        )];
        for (i, _) in slot.param_tys.iter().enumerate() {
            wasm_params.push((
                crate::Ident {
                    name: format!("$__arg{i}__"),
                    span: crate::Span::at(ctx.file),
                },
                object_ref_null,
            ));
        }
        let mut emitter = FunctionEmitter::new(ctx, &wasm_params)?;
        // The owner supplies the body — a local ancestor's, or an imported
        // one's, both recorded under the owner's mangled name.
        let method_func = ctx
            .symbols
            .class_method_func_idx(&slot.owner, &slot.name)
            .ok_or_else(|| {
                crate::codegen::internal_failure("method body func allocated or imported")
            })?;

        // self = env, cast to the method body's `(ref $Object)` self param.
        // The callee's physical signature is the slot's. Arguments are boxed;
        // reference results already carry the value the closure ABI wants.
        let abi = ctx
            .symbols
            .class_method_abi(&class.mangled, &slot.name)
            .cloned()
            .ok_or_else(|| {
                crate::codegen::internal_failure("class method slot ABI is not registered")
            })?;
        if abi.params.len() != slot.param_tys.len() {
            return Err(crate::codegen::internal_failure(
                "class method slot ABI has the wrong parameter count",
            ));
        }
        emitter.instruction(Instruction::LocalGet(0));
        if slot.argument_metadata.is_some() {
            super::call_arguments::unwrap(&mut emitter, ctx)?;
        }
        emitter.instruction(Instruction::RefCastNonNull(HeapType::Concrete(
            intrinsics.object,
        )));
        for (i, ty) in slot.param_tys.iter().enumerate() {
            emitter.instruction(Instruction::LocalGet(parameter_local(i)?));
            if abi.params.get(i) != Some(&object_ref_null) {
                crate::codegen::cast_check::emit_checked_parameter_cast_on_stack(
                    &mut emitter,
                    ctx,
                    &crate::Type::Unknown,
                    ty,
                )?;
            }
        }
        emitter.instruction(Instruction::Call(method_func));
        match abi.ret {
            Some(ValType::F64) => cast::emit_box(&mut emitter, ctx, &crate::Type::Number)?,
            Some(ValType::I32) => cast::emit_box(&mut emitter, ctx, &crate::Type::Boolean)?,
            // A never-returning override can inherit a void slot. Its closure
            // convention has a result, but the inherited call cannot return.
            None if matches!(slot.ret_ty.peel(), crate::Type::Never) => {
                emitter.instruction(Instruction::Unreachable);
            }
            _ => {}
        }
        emitter.build()
    }

    /// Method body: bind `this` (`local.get 0 ; ref.cast (ref $Foo)` — the vtable
    /// ABI's self param is `(ref $Object)`), then run the typed body. Returns the
    /// body's line rows with it. A method with its own type parameters is
    /// rejected by the typechecker, so [`Self::emit_bodies`] writes an
    /// unreachable stub in its place as defence rather than pending work.
    ///
    /// The function's Wasm signature is the slot's — the originating ancestor's,
    /// which an override's own annotations may differ from in either direction:
    /// wider, where a generic class's params/returns erase to
    /// `(ref null $Object)`, or narrower, where the ancestor spelled a
    /// structural type the override reaches through an interface. So each param
    /// binds through a shadow local cast to the body's own type, and each
    /// `return` coerces back into the slot. Byte-identical when own == origin.
    fn emit_method_body(
        &self,
        class: &ClassLayout,
        method: &OwnMethod,
        ctx: &crate::codegen::CodegenCtx<'_>,
    ) -> Result<(Function, Vec<(u64, crate::Span)>), crate::compiler_error::CompilerFailure> {
        use crate::codegen::function_emitter::{
            FunctionEmitter, ReturnTarget, emit_body_end, stmt,
        };

        let object_idx = ctx
            .symbols
            .intrinsic_type_indices()
            .ok_or_else(|| internal_failure("intrinsic types are not declared"))?
            .object;
        let abi = ctx
            .symbols
            .class_method_abi(&class.mangled, &method.name)
            .cloned()
            .ok_or_else(|| internal_failure("class method slot ABI is not registered"))?;
        let mut wasm_params: Vec<(crate::Ident, ValType)> = vec![(
            crate::Ident {
                name: "this".to_string(),
                span: crate::Span::at(ctx.file),
            },
            ref_to(object_idx),
        )];
        wasm_params.extend(slot_params(ctx, &method.params, &abi.params)?);
        let mut emitter = FunctionEmitter::new(ctx, &wasm_params)?;
        let param_slots = rebind_erased_params(&mut emitter, ctx, &method.params, &abi.params)?;
        emitter.prepare_parameter_initialization(Some(method.body))?;
        // Param prologue boxes captured-mutated method params.
        emitter.emit_boxed_param_prologue(&method.params, &param_slots)?;

        // `this` = ref.cast of the self param to the concrete class.
        let this_slot = emitter.add_anonymous_local(ref_to(class.struct_type_idx))?;
        emitter.instruction(Instruction::LocalGet(0));
        emitter.instruction(Instruction::RefCastNonNull(HeapType::Concrete(
            class.struct_type_idx,
        )));
        emitter.instruction(Instruction::LocalSet(this_slot));
        emitter.set_this_local(this_slot)?;
        super::field_guards::bind_receiver(&mut emitter, ctx, this_slot, &class.mangled)?;

        {
            emitter.set_return_target(ReturnTarget::Slot(match abi.ret {
                Some(ty) => ty,
                None => ctx.symbols.slot_value_type(&method.return_type)?,
            }));
        }
        stmt::emit_statement(&mut emitter, ctx, method.body)?;
        emit_body_end(&mut emitter, ctx, &method.return_type)?;
        emitter.build_with_lines()
    }

    /// Entry constructor (`new Foo(...)`): `struct.new $Foo` (header globals +
    /// default field values + method closures) into a `this` local, delegate
    /// field initialization to the self-first init fn, then return the instance.
    /// Identical for base and derived classes — the struct is allocated once at
    /// the most-derived type, and `super(...)` chains run inside the init fns.
    fn emit_ctor_body(
        &self,
        class: &ClassLayout,
        ctx: &crate::codegen::CodegenCtx<'_>,
    ) -> Result<Function, crate::compiler_error::CompilerFailure> {
        use crate::codegen::function_emitter::FunctionEmitter;

        // Parameters stay at their (possibly erased) slot types: this body only
        // forwards them to the init fn, which takes the same slots.
        let ctor_slots = ctor_slot_types(ctx, &class.mangled)?;
        let mut wasm_params = slot_params(ctx, &class.ctor_params, &ctor_slots)?;
        let guarded = ctx
            .symbols
            .recorded_class_guard_layout(&class.mangled)?
            .has_instance_guards;
        if guarded {
            let intr = ctx
                .symbols
                .intrinsic_type_indices()
                .ok_or_else(|| crate::codegen::internal_failure("intrinsics declared"))?;
            wasm_params.push((
                crate::Ident {
                    name: "$field_guards".into(),
                    span: crate::Span::at(ctx.file),
                },
                ref_to(intr.object_fields),
            ));
        }
        let mut emitter = FunctionEmitter::new(ctx, &wasm_params)?;

        let this_slot = emitter.add_anonymous_local(ref_to(class.struct_type_idx))?;
        emitter.set_this_local(this_slot)?;

        // struct.new $Foo: vtable + field-names + object-fields payload. The
        // payload holds the data fields (slots `0..N_fields`, written by the init
        // fn) then one closure per non-generic method (slots `N_fields..`,
        // populated by the prologue below). The field-names list must match
        // `class_field_names` so the dynamic field-name scan resolves both.
        let dynamic_methods: Vec<&MethodSlot> = class.payload_slots().collect();
        let n_fields = wasm_u32(class.fields.len())?;
        let field_names = class.payload_field_names();
        let push_global =
            |em: &mut FunctionEmitter, idx: u32| em.instruction(Instruction::GlobalGet(idx));
        push_global(
            &mut emitter,
            ctx.symbols
                .class_vtable_global_idx(&class.mangled)
                .ok_or_else(|| crate::codegen::internal_failure("vtable global"))?,
        );
        super::field_names::emit_instance_names(&mut emitter, ctx, &field_names, |_| false)?;
        let intrinsics = ctx.symbols.intrinsic_type_indices().ok_or_else(|| {
            crate::codegen::internal_failure("intrinsics declared by codegen entry")
        })?;
        // Instance validators live after the named payload, indexed by data
        // slot. Keeping them out of field_names preserves object enumeration.
        let layout = ctx.symbols.recorded_class_guard_layout(&class.mangled)?;
        let named_len = wasm_u32(field_names.len())?;
        let guard_slots = if layout.has_instance_guards {
            guard_slot_count(layout.inheritance_depth, named_len)?
        } else {
            0
        };
        let payload_len = named_len
            .checked_add(guard_slots)
            .ok_or_else(|| internal_failure("a class instance payload is too large"))?;
        for slot in 0..payload_len {
            if slot < named_len {
                super::function_emitter::expr::emit_undefined(&mut emitter, ctx)?;
            } else {
                emitter.instruction(Instruction::RefNull(HeapType::Concrete(intrinsics.object)));
            }
        }
        emitter.instruction(Instruction::ArrayNewFixed {
            array_type_index: intrinsics.object_fields,
            array_size: payload_len,
        });
        emitter.instruction(Instruction::RefNull(HeapType::ANY));
        emitter.instruction(Instruction::I64Const(0));
        emitter.instruction(Instruction::StructNew(class.struct_type_idx));
        emitter.instruction(Instruction::LocalSet(this_slot));

        if layout.has_instance_guards {
            emitter.instruction(Instruction::LocalGet(this_slot));
            emitter.instruction(Instruction::StructGet {
                struct_type_index: class.struct_type_idx,
                field_index: 2,
            });
            emitter.instruction(Instruction::I32Const(named_len.cast_signed()));
            emitter.instruction(Instruction::LocalGet(wasm_u32(class.ctor_params.len())?));
            emitter.instruction(Instruction::I32Const(0));
            emitter.instruction(Instruction::I32Const(guard_slots.cast_signed()));
            emitter.instruction(Instruction::ArrayCopy {
                array_type_index_dst: intrinsics.object_fields,
                array_type_index_src: intrinsics.object_fields,
            });
        }

        // Method-closure prologue: store `$closure_<sig>{ closure_vtable, adapter,
        // this }` into each method's payload slot, so an interface-typed receiver
        // dispatches it through the shared field-name scan.
        if !dynamic_methods.is_empty() {
            let closure_vtable = ctx.symbols.closure_vtable_global_idx().ok_or_else(|| {
                crate::codegen::internal_failure(
                    "closure vtable global emitted when class methods exist",
                )
            })?;
            for (j, method) in dynamic_methods.iter().enumerate() {
                let method_slot = n_fields
                    .checked_add(wasm_u32(j)?)
                    .ok_or_else(|| internal_failure("a class instance payload is too large"))?;
                let closure_struct = ctx
                    .symbols
                    .closure_struct_type_idx(slot_closure_sig(method)?)
                    .ok_or_else(|| {
                        crate::codegen::internal_failure("class method closure struct registered")
                    })?;
                let adapter = ctx
                    .symbols
                    .class_method_adapter_func_idx(&class.mangled, &method.name)
                    .ok_or_else(|| {
                        crate::codegen::internal_failure(
                            "class method adapter allocated or reused from the owner",
                        )
                    })?;
                emitter.instruction(Instruction::LocalGet(this_slot));
                emitter.instruction(Instruction::StructGet {
                    struct_type_index: class.struct_type_idx,
                    field_index: 2,
                });
                emitter.instruction(Instruction::I32Const(method_slot.cast_signed()));
                emitter.instruction(Instruction::GlobalGet(closure_vtable));
                emitter.instruction(Instruction::RefFunc(adapter));
                emitter.instruction(Instruction::LocalGet(this_slot));
                if let Some(metadata) = &method.argument_metadata {
                    super::call_arguments::wrap(&mut emitter, ctx, metadata)?;
                }
                emitter.instruction(Instruction::I64Const(0));
                emitter.instruction(Instruction::StructNew(closure_struct));
                emitter.instruction(Instruction::ArraySet(intrinsics.object_fields));
            }
        }

        // Delegate to the self-first init fn: `Foo#ctor_init(this, params...)`.
        // It runs the constructor body (or forwards to the parent for an implicit
        // constructor), where `super(...)` chains up to the parent init.
        emitter.instruction(Instruction::LocalGet(this_slot));
        for i in 0..wasm_u32(class.ctor_params.len())? {
            emitter.instruction(Instruction::LocalGet(i));
        }
        emitter.instruction(Instruction::Call(class.ctor_init_func_idx));

        // Implicit `return this`. (Explicit `return;` inside a constructor is not
        // supported in this slice — the fixtures don't use it.)
        emitter.instruction(Instruction::LocalGet(this_slot));
        emitter.build()
    }

    /// Constructor init fn: self-first ABI `((ref $Object), params...) -> ()` that
    /// initializes fields on an already-allocated instance. `super(...)` lowers to
    /// a direct call of the parent's init fn (see [`expr`] codegen). A class with
    /// no declared constructor but a parent (implicit constructor) forwards all
    /// params to the parent init. Returns the body's line rows with it.
    fn emit_ctor_init(
        &self,
        class: &ClassLayout,
        ctx: &crate::codegen::CodegenCtx<'_>,
    ) -> Result<(Function, Vec<(u64, crate::Span)>), crate::compiler_error::CompilerFailure> {
        use crate::codegen::function_emitter::{FunctionEmitter, cast, stmt};

        let object_idx = ctx
            .symbols
            .intrinsic_type_indices()
            .ok_or_else(|| internal_failure("intrinsic types are not declared"))?
            .object;
        let mut wasm_params: Vec<(crate::Ident, ValType)> = vec![(
            crate::Ident {
                name: "this".to_string(),
                span: crate::Span::at(ctx.file),
            },
            ref_to(object_idx),
        )];
        let ctor_slots = ctor_slot_types(ctx, &class.mangled)?;
        wasm_params.extend(slot_params(ctx, &class.ctor_params, &ctor_slots)?);
        let mut emitter = FunctionEmitter::new(ctx, &wasm_params)?;
        let param_slots = rebind_erased_params(&mut emitter, ctx, &class.ctor_params, &ctor_slots)?;
        emitter.prepare_parameter_initialization(class.ctor_body)?;
        // Box captured-mutated ctor params.
        emitter.emit_boxed_param_prologue(&class.ctor_params, &param_slots)?;

        // `this` = ref.cast of the self param to the concrete class.
        let this_slot = emitter.add_anonymous_local(ref_to(class.struct_type_idx))?;
        emitter.instruction(Instruction::LocalGet(0));
        emitter.instruction(Instruction::RefCastNonNull(HeapType::Concrete(
            class.struct_type_idx,
        )));
        emitter.instruction(Instruction::LocalSet(this_slot));
        emitter.set_this_local(this_slot)?;
        super::field_guards::bind_receiver(&mut emitter, ctx, this_slot, &class.mangled)?;
        emitter.set_ctor_class(class.mangled.clone());

        if let Some(body) = class.ctor_body {
            if class.parent.is_none() {
                super::function_emitter::expr::emit_class_field_setup_phase(
                    &mut emitter,
                    ctx,
                    &class.mangled,
                    super::function_emitter::expr::FieldSetupPhase::Initializers,
                )?;
            }
            let defaults = ctx
                .ta
                .parameter_default_prologues
                .get(&body)
                .copied()
                .unwrap_or(0);
            if class.parent.is_none() && defaults > 0 {
                let body = ctx.ta.try_stmt(body).map_err(super::arena_failure)?;
                let crate::TypedStmtKind::Block(statements) = &body.kind else {
                    return Err(internal_failure(
                        "constructor default prologue is not a block",
                    ));
                };
                let prologue = statements.get(..defaults).ok_or_else(|| {
                    internal_failure("constructor default prologue is incomplete")
                })?;
                let body = statements.get(defaults..).ok_or_else(|| {
                    internal_failure("constructor body is missing after defaults")
                })?;
                emitter.push_scope();
                for &statement in prologue {
                    stmt::emit_statement(&mut emitter, ctx, statement)?;
                }
                super::function_emitter::expr::emit_class_field_setup_phase(
                    &mut emitter,
                    ctx,
                    &class.mangled,
                    super::function_emitter::expr::FieldSetupPhase::ParameterProperties,
                )?;
                for &statement in body {
                    stmt::emit_statement(&mut emitter, ctx, statement)?;
                }
                emitter.pop_scope()?;
            } else {
                if class.parent.is_none() {
                    super::function_emitter::expr::emit_class_field_setup_phase(
                        &mut emitter,
                        ctx,
                        &class.mangled,
                        super::function_emitter::expr::FieldSetupPhase::ParameterProperties,
                    )?;
                }
                stmt::emit_statement(&mut emitter, ctx, body)?;
            }
        } else {
            // Implicit constructor: forward all params to the parent init (if
            // any), then run this class's field setup.
            if let Some(parent) = &class.parent {
                let parent_init =
                    ctx.symbols
                        .class_ctor_init_func_idx(parent)
                        .ok_or_else(|| {
                            internal_failure("a parent constructor init was not allocated")
                        })?;
                // This class's parameters carry the `extends` clause's
                // substituted types, while the parent's own signature may
                // still erase them, so each one is coerced on the way through.
                // Forward from the rebound local, whose Wasm type is `p.ty`'s —
                // what the coercion takes as its source.
                let parent_slots = ctor_slot_types(ctx, parent)?;
                emitter.instruction(Instruction::LocalGet(this_slot));
                if param_slots.len() != class.ctor_params.len() {
                    return Err(internal_failure(
                        "constructor parameters and their locals differ in number",
                    ));
                }
                for (i, (p, local)) in class.ctor_params.iter().zip(&param_slots).enumerate() {
                    emitter.instruction(Instruction::LocalGet(*local));
                    if let Some(slot) = parent_slots.get(i).copied() {
                        cast::emit_coerce_to_wasm_slot(&mut emitter, ctx, &p.ty, slot)?;
                    }
                }
                emitter.instruction(Instruction::Call(parent_init));
            }
            crate::codegen::function_emitter::expr::emit_class_field_setup(
                &mut emitter,
                ctx,
                &class.mangled,
            )?;
        }
        emitter.build_with_lines()
    }

    /// `(export name, func index)` pairs for every class function a cross-package
    /// consumer may import: the entry constructor, the self-first ctor-init, and
    /// every method body. Restricted to classes the package actually exports
    /// (`is_exported`). Method bodies include private methods — Wasm-level
    /// visibility is wider than source so a cross-package subclass can fill its
    /// inherited vtable slots (docs/classes.md §2, §6). Generic methods are
    /// excluded (still emitted as stubs this slice).
    pub fn exported_funcs(
        &self,
        symbols: &SymbolTable,
        is_exported: impl Fn(&MangledName) -> bool,
    ) -> Result<Vec<(MangledName, u32)>, CompilerFailure> {
        let mut out: Vec<(MangledName, u32)> = Vec::new();
        for class in &self.classes {
            if !is_exported(&class.mangled) {
                continue;
            }
            out.push((
                crate::mangle::extend(&class.mangled, "constructor"),
                class.ctor_func_idx,
            ));
            out.push((
                crate::mangle::extend(&class.mangled, "constructor_init"),
                class.ctor_init_func_idx,
            ));
            for method in &class.own_methods {
                if method.generic {
                    continue;
                }
                let idx = symbols
                    .class_method_func_idx(&class.mangled, &method.name)
                    .ok_or_else(|| internal_failure("a class method body was not allocated"))?;
                out.push((crate::mangle::extend(&class.mangled, &method.name), idx));
            }
        }
        Ok(out)
    }

    /// Each exported class's vtable-singleton global, for the export section —
    /// the class's nominal identity, imported by consumers for `instanceof`'s
    /// ref.eq comparison and as a local subclass's parent link.
    pub fn exported_vtable_globals(
        &self,
        symbols: &SymbolTable,
        is_exported: impl Fn(&MangledName) -> bool,
    ) -> Result<Vec<(MangledName, u32)>, CompilerFailure> {
        self.classes
            .iter()
            .filter(|class| is_exported(&class.mangled))
            .map(|class| {
                let global_idx = symbols
                    .class_vtable_global_idx(&class.mangled)
                    .ok_or_else(|| internal_failure("a class vtable global was not emitted"))?;
                Ok((vtable_global_export_name(&class.mangled), global_idx))
            })
            .collect()
    }

    /// Function indices that appear in a `ref.func` const-expr and so must be
    /// covered by the declarative element section.
    pub fn declared_funcs(&self, symbols: &SymbolTable) -> Vec<u32> {
        if self.classes.is_empty() {
            return Vec::new();
        }
        let mut out: Vec<u32> = self.universal_stubs.to_vec();
        for class in &self.classes {
            // Every vtable slot funcref the vtable global stores — own bodies,
            // overrides, and inherited slots whose body lives on an ancestor
            // (possibly imported from another package).
            for slot in &class.methods {
                if let Some(idx) = symbols.class_method_func_idx(&slot.owner, &slot.name) {
                    out.push(idx);
                }
            }
            // Method-closure adapters are `ref.func`'d in the constructor
            // prologue — one per payload slot, inherited ones included. The
            // dedup below absorbs the indices shared with an ancestor.
            for slot in class.payload_slots() {
                if let Some(idx) = symbols.class_method_adapter_func_idx(&class.mangled, &slot.name)
                {
                    out.push(idx);
                }
            }
            out.push(class.getter_func_idx);
            out.push(class.setter_func_idx);
            out.push(class.equals_func_idx);
            out.push(class.to_string_func_idx);
            out.push(class.to_json_func_idx);
            out.push(class.hash_func_idx);
        }
        out.sort_unstable();
        out.dedup();
        out
    }
}

/// Constructor field-setup steps for a class: parameter-property copies (in
/// constructor-param order) followed by own-field initializers (in declaration
/// order). Parameter-property fields are the auto-assigned own fields; their copy
/// reads the matching constructor param (init-fn local `position + 1`; self is 0).
///
/// A field that only redeclares an inherited one contributes a
/// [`FieldSetup::Reset`] instead — see [`redeclares_uninitialized_slot`].
/// `inherited` names the slots the parent prefix already owns.
fn field_setup_steps(
    decl: &TypedClassDecl,
    inherited: &BTreeSet<String>,
) -> Result<Vec<FieldSetup>, CompilerFailure> {
    let mut steps = Vec::new();
    if let Some(ctor) = &decl.constructor {
        for field in decl.fields.iter().filter(|f| f.auto_assigned) {
            if let Some(param) = ctor.params.iter().find(|p| p.name.name == field.name.name) {
                steps.push(FieldSetup::ParamCopy {
                    field: field.name.name.clone(),
                    param: Box::new(param.clone()),
                });
            }
        }
    }
    for field in &decl.fields {
        if let Some(value) = field.initializer {
            steps.push(FieldSetup::Init {
                field: field.name.name.clone(),
                value,
            });
        } else if redeclares_uninitialized_slot(field, inherited) {
            steps.push(FieldSetup::Reset {
                field: field.name.name.clone(),
            });
        }
    }
    Ok(steps)
}

/// Vtable field of the method in class slot `slot`, after the universal slots
/// and parent link.
pub(crate) fn method_vtable_slot(slot: usize) -> Result<u32, CompilerFailure> {
    VTABLE_METHOD_SLOT_BASE
        .checked_add(wasm_u32(slot)?)
        .ok_or_else(|| internal_failure("a class has too many vtable slots"))
}

/// Guard payload slots: one guard per named slot plus its receiver marker, for
/// each class level from this one to the root.
pub(super) fn guard_slot_count(
    inheritance_depth: u32,
    named_len: u32,
) -> Result<u32, CompilerFailure> {
    inheritance_depth
        .checked_add(1)
        .zip(named_len.checked_add(1))
        .and_then(|(levels, per_level)| levels.checked_mul(per_level))
        .ok_or_else(|| internal_failure("a class guard payload is too large"))
}

fn class_decl<'a>(
    by_mangled: &BTreeMap<&MangledName, &'a TypedClassDecl>,
    mangled: &MangledName,
) -> Result<&'a TypedClassDecl, CompilerFailure> {
    by_mangled
        .get(mangled)
        .copied()
        .ok_or_else(|| internal_failure("class order names an undeclared class"))
}

/// Whether this own field shares an inherited slot without writing it. Such a
/// field would otherwise read back whatever the *parent's* initializer left
/// there — a value the redeclaration's (possibly narrower) type need not admit.
/// Only the optional case arises: a non-optional field with no initializer must
/// be assigned in the constructor (`definite_assignment`), which runs after this
/// setup.
fn redeclares_uninitialized_slot(
    field: &crate::TypedClassField,
    inherited: &BTreeSet<String>,
) -> bool {
    field.optional && !field.auto_assigned && inherited.contains(&field.name.name)
}

/// Export/linker field name of a class's vtable-singleton global. The space in
/// the suffix keeps it out of the member namespace (same trick as
/// `get foo`/`set foo`), so no user method can collide with it.
pub(crate) fn vtable_global_export_name(mangled: &MangledName) -> MangledName {
    crate::mangle::extend(mangled, "vtable global")
}

/// Internal name of the vtable method an accessor property's getter lowers to.
/// The space keeps it disjoint from any user identifier, so it never collides
/// with a real method; it is also the runtime key under which the getter closure
/// is stored in the object payload. Codegen-only — not a mangled symbol name.
pub(crate) fn accessor_getter_name(prop: &str) -> String {
    format!("get {prop}")
}

/// Internal name of the vtable method an accessor property's setter lowers to.
pub(crate) fn accessor_setter_name(prop: &str) -> String {
    format!("set {prop}")
}

/// The closure shape an accessor's payload slot holds: a getter takes no
/// argument and returns the property (never `void`), a setter takes one and
/// returns nothing. Producer (`analysis::note_shaped_property_access`, which
/// collects the sig) and consumer (`emit_accessor_slot_present`, which looks up
/// its struct index) must agree exactly, so they read it from here.
pub(crate) fn accessor_closure_sig(kind: crate::AccessorKind) -> ClosureSig {
    match kind {
        crate::AccessorKind::Get => ClosureSig {
            arity: 0,
            is_void: false,
        },
        crate::AccessorKind::Set => ClosureSig {
            arity: 1,
            is_void: true,
        },
    }
}

/// Whether an own data field redeclares one already in the inherited prefix —
/// a shadow, so it reuses the parent's slot rather than appending a second one.
/// The slot has to stay at the *parent's* index: a child's data region is a
/// prefix-compatible extension of its parent's, which is what lets a
/// parent-typed receiver read a child instance at all.
///
/// Both layout builders must agree on this rule, or the same class gets
/// different slot numbers on the two sides of a package boundary. This is the
/// `imported_classes` reconstruction's copy; [`ClassPlan::collect`] answers the
/// same question with `fields.iter_mut().find(…)`, because it also needs the
/// slot itself to carry the redeclaration's narrowing guard across.
pub(crate) fn shadows_inherited_field<'a>(
    inherited: impl IntoIterator<Item = &'a str>,
    name: &str,
) -> bool {
    inherited.into_iter().any(|f| f == name)
}

/// Internal getter/setter methods synthesized from a class's accessors. These
/// reuse the ordinary method machinery (vtable slots, closures, bodies, dynamic
/// dispatch) but exist only inside codegen — never in the typed AST or
/// `PackageDeclaration`. Their names (`get <p>` / `set <p>`) are the runtime ABI
/// key under which the getter/setter closure is stored in the object payload.
///
/// Each comes with its backtrace name, `get C.x` / `set C.x`. It is built here
/// rather than parsed back out of the internal name, which a method with a
/// string-literal key such as `"get x"()` can share.
fn accessor_methods(decl: &TypedClassDecl) -> Vec<(crate::TypedClassMethod, String)> {
    decl.accessors
        .iter()
        .map(|acc| {
            let (kind, name, params, return_type) = match acc {
                crate::TypedClassAccessor::Getter { name, ret_ty, .. } => (
                    "get",
                    accessor_getter_name(&name.name),
                    Vec::new(),
                    ret_ty.clone(),
                ),
                crate::TypedClassAccessor::Setter { name, param, .. } => (
                    "set",
                    accessor_setter_name(&name.name),
                    vec![param.clone()],
                    crate::Type::Void,
                ),
            };
            let frame_name = format!("{kind} {}.{}", decl.name.name, acc.name().name);
            let method = crate::TypedClassMethod {
                name: crate::Ident {
                    name,
                    span: acc.name().span,
                },
                generics: Vec::new(),
                params,
                return_type,
                body: acc.body(),
                visibility: acc.visibility(),
                doc: None,
            };
            (method, frame_name)
        })
        .collect()
}

fn slot_closure_sig(
    slot: &MethodSlot,
) -> Result<crate::codegen::closures::ClosureSig, crate::compiler_error::CompilerFailure> {
    let sig = crate::Type::Function {
        params: slot.param_tys.clone(),
        ret: Box::new(slot.ret_ty.clone()),
        predicate: None,
        optional: 0,
        has_rest: false,
    };
    crate::codegen::closures::classify(&sig)
}

#[derive(Clone)]
struct SlotDraft {
    name: String,
    owner: MangledName,
    param_tys: Vec<crate::Type>,
    argument_metadata: Option<String>,
    ret_ty: crate::Type,
    generic: bool,
}

/// A class's resolved (fields, method slots, own-method names) during the
/// inheritance-folding pass in [`ClassPlan::collect`].
type ResolvedLayout = (Vec<FieldLayout>, Vec<SlotDraft>, Vec<OwnMethod>);

/// The inherited field and method-slot prefix of a class whose parent is
/// `parent`: a local class laid out earlier in topological order, or an
/// imported one reconstructed before local classes.
fn parent_prefix(
    parent: &MangledName,
    layouts: &BTreeMap<MangledName, ResolvedLayout>,
    imported: &BTreeMap<MangledName, ImportedClassLayout>,
) -> Result<(Vec<FieldLayout>, Vec<SlotDraft>), CompilerFailure> {
    if let Some((fields, methods, _)) = layouts.get(parent) {
        return Ok((fields.clone(), methods.clone()));
    }
    let layout = imported
        .get(parent)
        .ok_or_else(|| unavailable_parent(parent))?;
    let fields = layout
        .fields
        .iter()
        .map(|name| FieldLayout {
            name: name.clone(),
            optional: layout.optional_fields.contains(name),
            narrowing_check: layout.narrowing_checks.get(name).cloned().map(Box::new),
        })
        .collect();
    let methods = layout
        .methods
        .iter()
        .map(|s| SlotDraft {
            name: s.name.clone(),
            owner: s.owner.clone(),
            param_tys: s.param_tys.clone(),
            argument_metadata: s.argument_metadata.clone(),
            ret_ty: s.ret_ty.clone(),
            generic: s.generic,
        })
        .collect();
    Ok((fields, methods))
}

fn unavailable_parent(parent: &MangledName) -> CompilerFailure {
    internal_failure(format!(
        "parent class `{parent}` was not laid out before its subclass"
    ))
}

/// The signature and ABI a slot inherits from `parent`, if the parent has the
/// slot. An imported parent's slots live in the symbol table (recorded by
/// `imported_classes`), not in `sig_by_name`.
fn inherited_slot_sig(
    sig_by_name: &BTreeMap<(MangledName, String), (u32, MethodSlotAbi)>,
    symbols: &SymbolTable,
    parent: &MangledName,
    slot: &str,
) -> Result<Option<(u32, MethodSlotAbi)>, CompilerFailure> {
    if let Some(entry) = sig_by_name.get(&(parent.clone(), slot.to_owned())) {
        return Ok(Some(entry.clone()));
    }
    let Some(sig) = symbols.class_method_sig(parent, slot) else {
        return Ok(None);
    };
    let abi = symbols
        .class_method_abi(parent, slot)
        .cloned()
        .ok_or_else(|| internal_failure("an inherited method slot has no recorded ABI"))?;
    Ok(Some((sig, abi)))
}

/// Topological order of classes by `extends` (parents before children). Classes
/// whose parent is not in this module (cross-package) are treated as roots.
/// Chains are walked iteratively; a cycle is an internal failure because
/// inference rejects cyclic hierarchies.
fn topo_order(
    by_mangled: &BTreeMap<&MangledName, &TypedClassDecl>,
) -> Result<Vec<MangledName>, CompilerFailure> {
    let mut visited: BTreeSet<&MangledName> = BTreeSet::new();
    let mut out: Vec<MangledName> = Vec::new();
    for &start in by_mangled.keys() {
        let mut chain: Vec<&MangledName> = Vec::new();
        let mut next = Some(start);
        while let Some(mangled) = next {
            if visited.contains(mangled) {
                break;
            }
            let Some(decl) = by_mangled.get(mangled) else {
                break;
            };
            if chain.contains(&mangled) {
                return Err(internal_failure("class inheritance is cyclic"));
            }
            chain.push(mangled);
            next = decl.extends.as_ref();
        }
        for mangled in chain.into_iter().rev() {
            visited.insert(mangled);
            out.push(mangled.clone());
        }
    }
    Ok(out)
}

/// The Wasm type of a body's parameter `i` — the recorded slot's, not the
/// declaration's own: an override shares the signature of the ancestor that
/// introduced the slot, and a constructor's signature erases class types so
/// producer and cross-package consumer agree.
fn slot_param_type(
    ctx: &CodegenCtx<'_>,
    slot_types: &[ValType],
    i: usize,
    p: &crate::TypedParam,
) -> Result<ValType, crate::compiler_error::CompilerFailure> {
    Ok(match slot_types.get(i) {
        Some(ty) => *ty,
        None => ctx.symbols.slot_value_type(&p.ty)?,
    })
}

/// The constructor parameter slots recorded when the class's ctor fn-types were
/// emitted — the same signature the entry ctor, the init fn, and every call site
/// must agree on. Local and imported classes both record it before any body is
/// emitted.
fn ctor_slot_types(
    ctx: &CodegenCtx<'_>,
    class: &MangledName,
) -> Result<Vec<ValType>, CompilerFailure> {
    ctx.symbols
        .class_ctor_abi(class)
        .map(<[ValType]>::to_vec)
        .ok_or_else(|| {
            internal_failure(format!(
                "class `{class}` has no recorded constructor signature"
            ))
        })
}

/// Named Wasm parameters for a method or constructor body, at their slot types.
fn slot_params(
    ctx: &CodegenCtx<'_>,
    params: &[crate::TypedParam],
    slot_types: &[ValType],
) -> Result<Vec<(crate::Ident, ValType)>, crate::compiler_error::CompilerFailure> {
    params
        .iter()
        .enumerate()
        .map(|(i, p)| Ok((p.name.clone(), slot_param_type(ctx, slot_types, i, p)?)))
        .collect::<Result<_, crate::compiler_error::CompilerFailure>>()
}

/// Unbox every param whose slot is erased but whose declared type is concrete
/// (an override of a generic method, a class-typed constructor param) into a
/// shadow local, and rebind the name to it so the body reads its own type.
/// Returns the local index backing each parameter, for the boxed-param
/// prologue. Every body this serves is self-first, so parameter `i` is local
/// `i + 1`.
fn rebind_erased_params(
    emitter: &mut FunctionEmitter<'_>,
    ctx: &CodegenCtx<'_>,
    params: &[crate::TypedParam],
    slot_types: &[ValType],
) -> Result<Vec<u32>, crate::compiler_error::CompilerFailure> {
    let mut param_slots = Vec::with_capacity(params.len());
    for (i, p) in params.iter().enumerate() {
        let param_local = parameter_local(i)?;
        let own_vt = ctx.symbols.value_type(&p.ty)?;
        if slot_param_type(ctx, slot_types, i, p)? == own_vt {
            param_slots.push(param_local);
            continue;
        }
        let shadow = emitter.add_anonymous_local(own_vt)?;
        emitter.instruction(Instruction::LocalGet(param_local));
        crate::codegen::cast_check::emit_checked_parameter_cast_on_stack(
            emitter,
            ctx,
            &crate::Type::Unknown,
            &p.ty,
        )?;
        emitter.instruction(Instruction::LocalSet(shadow));
        emitter.rebind_in_innermost_scope(&p.name.name, shadow, own_vt)?;
        param_slots.push(shadow);
    }
    Ok(param_slots)
}

fn stub_body() -> Function {
    let mut f = Function::new([]);
    f.instruction(&Instruction::Unreachable);
    f.instruction(&Instruction::End);
    f
}

/// An Error subclass's universal slot that forwards to the prelude `Error`
/// vtable's body for the same slot: `toString` renders the `name` and
/// `message` every subclass inherits, and `hash` uses identity.
fn emit_error_slot_body(
    symbols: &SymbolTable,
    intrinsics: IntrinsicTypeIndices,
    slot: u32,
    slot_fn_type: u32,
) -> Result<Function, CompilerFailure> {
    let vtable = symbols
        .class_vtable_global_idx(&crate::mangle::prelude("Error"))
        .ok_or_else(|| internal_failure("Error vtable is not imported for its subclass"))?;
    let mut body = Function::new([]);
    body.instruction(&Instruction::LocalGet(0));
    body.instruction(&Instruction::GlobalGet(vtable));
    body.instruction(&Instruction::StructGet {
        struct_type_index: intrinsics.vtable,
        field_index: slot,
    });
    body.instruction(&Instruction::CallRef(slot_fn_type));
    body.instruction(&Instruction::End);
    Ok(body)
}

/// The class's `equals` vtable body: nominal exact-class guard + structural
/// compare of the data-field payload slots.
///
/// The guard is a `ref.eq` of the two operands' vtable refs — self's vtable
/// *is* this class's singleton (only this class's vtable references this
/// body), so no `global.get` is needed, and any other operand (sibling,
/// subclass, structural shape, boxed primitive) fails it. Only slots
/// `0..n_fields` are compared: the payload's trailing slots hold per-instance
/// method closures, whose reference-identity equals would break field-equal
/// instances.
fn emit_class_equals_body(n_fields: u32, intrinsics: IntrinsicTypeIndices) -> Function {
    // Locals layout (after 2 params):
    //   2: $elem_a    (ref null $Object)
    //   3: $elem_b    (ref null $Object)
    //   4: $elem_a_nn (ref $Object)
    //   5: $eq_fn     (ref $equalsFn)
    //   6: $a_fields  (ref $objectFields)
    //   7: $b_fields  (ref $objectFields)
    let locals: Vec<(u32, ValType)> = if n_fields == 0 {
        Vec::new()
    } else {
        vec![
            (
                2,
                ValType::Ref(RefType {
                    nullable: true,
                    heap_type: HeapType::Concrete(intrinsics.object),
                }),
            ),
            (1, ref_to(intrinsics.object)),
            (1, ref_to(intrinsics.equals_fn)),
            (2, ref_to(intrinsics.object_fields)),
        ]
    };
    let mut f = Function::new(locals);
    let (a, b) = (0u32, 1u32);
    let (a_fields, b_fields) = (6u32, 7u32);

    f.instruction(&Instruction::LocalGet(a));
    f.instruction(&Instruction::LocalGet(b));
    f.instruction(&Instruction::RefEq);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::I32Const(1));
    f.instruction(&Instruction::Return);
    f.instruction(&Instruction::End);

    for operand in [a, b] {
        f.instruction(&Instruction::LocalGet(operand));
        f.instruction(&Instruction::StructGet {
            struct_type_index: intrinsics.object,
            field_index: 0,
        });
    }
    f.instruction(&Instruction::RefEq);
    f.instruction(&Instruction::I32Eqz);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::I32Const(0));
    f.instruction(&Instruction::Return);
    f.instruction(&Instruction::End);

    if n_fields > 0 {
        // Casts are guaranteed: the guard passed, so both operands are
        // instances of this class.
        for (operand, dest) in [(a, a_fields), (b, b_fields)] {
            f.instruction(&Instruction::LocalGet(operand));
            f.instruction(&Instruction::RefCastNonNull(HeapType::Concrete(
                intrinsics.object_shape,
            )));
            f.instruction(&Instruction::StructGet {
                struct_type_index: intrinsics.object_shape,
                field_index: 2,
            });
            f.instruction(&Instruction::LocalSet(dest));
        }
        for slot in 0..n_fields {
            emit_payload_slot_equals(&mut f, slot, intrinsics);
        }
    }

    f.instruction(&Instruction::I32Const(1));
    f.instruction(&Instruction::End);
    f
}

/// One payload-slot comparison for [`emit_class_equals_body`], null-aware
/// (optional fields store `null`): both null → equal, one null → return 0,
/// else dispatch the element's own `vtable.equals`. Uses the fixed locals
/// documented there.
fn emit_payload_slot_equals(f: &mut Function, slot: u32, intrinsics: IntrinsicTypeIndices) {
    let (elem_a, elem_b, elem_a_nn, eq_fn) = (2u32, 3u32, 4u32, 5u32);
    let (a_fields, b_fields) = (6u32, 7u32);

    for (fields, dest) in [(a_fields, elem_a), (b_fields, elem_b)] {
        f.instruction(&Instruction::LocalGet(fields));
        f.instruction(&Instruction::I32Const(slot.cast_signed()));
        f.instruction(&Instruction::ArrayGet(intrinsics.object_fields));
        f.instruction(&Instruction::LocalSet(dest));
    }

    f.instruction(&Instruction::LocalGet(elem_a));
    f.instruction(&Instruction::RefIsNull);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::LocalGet(elem_b));
    f.instruction(&Instruction::RefIsNull);
    f.instruction(&Instruction::I32Eqz);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::I32Const(0));
    f.instruction(&Instruction::Return);
    f.instruction(&Instruction::End);
    f.instruction(&Instruction::Else);
    f.instruction(&Instruction::LocalGet(elem_b));
    f.instruction(&Instruction::RefIsNull);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::I32Const(0));
    f.instruction(&Instruction::Return);
    f.instruction(&Instruction::End);

    f.instruction(&Instruction::LocalGet(elem_a));
    f.instruction(&Instruction::RefAsNonNull);
    f.instruction(&Instruction::LocalTee(elem_a_nn));
    f.instruction(&Instruction::StructGet {
        struct_type_index: intrinsics.object,
        field_index: 0,
    });
    f.instruction(&Instruction::StructGet {
        struct_type_index: intrinsics.vtable,
        field_index: 2,
    });
    f.instruction(&Instruction::LocalSet(eq_fn));

    f.instruction(&Instruction::LocalGet(elem_a_nn));
    f.instruction(&Instruction::LocalGet(elem_b));
    f.instruction(&Instruction::RefAsNonNull);
    f.instruction(&Instruction::LocalGet(eq_fn));
    f.instruction(&Instruction::CallRef(intrinsics.equals_fn));
    f.instruction(&Instruction::I32Eqz);
    f.instruction(&Instruction::If(BlockType::Empty));
    f.instruction(&Instruction::I32Const(0));
    f.instruction(&Instruction::Return);
    f.instruction(&Instruction::End);
    f.instruction(&Instruction::End);
}

/// Bridge an authored conversion method to the universal string-returning slot.
/// Read its current payload so writes through structural aliases also affect
/// implicit conversions, including inherited methods with a different layout.
fn emit_universal_slot_thunk(
    ctx: &CodegenCtx,
    method: &str,
) -> Result<Function, crate::compiler_error::CompilerFailure> {
    let mut emitter = super::function_emitter::FunctionEmitter::new(
        ctx,
        &[(
            crate::Ident {
                name: "self".into(),
                span: crate::Span::at(crate::FileId(0)),
            },
            ctx.symbols.value_type(&crate::Type::Unknown)?,
        )],
    )?;
    emitter.instruction(Instruction::LocalGet(0));
    super::function_emitter::expr::emit_interface_method_via_shape_with_receiver_on_stack(
        &mut emitter,
        ctx,
        method,
        &[],
        &crate::Type::String,
        None,
    )?;
    emitter.build()
}

fn emit_class_to_string_body(
    intrinsics: IntrinsicTypeIndices,
    string_vtable_global_idx: u32,
) -> Result<Function, CompilerFailure> {
    let mut f = Function::new([]);
    crate::codegen::intrinsics::push_string_literal(
        &mut f,
        intrinsics,
        string_vtable_global_idx,
        "[object Object]",
    )?;
    f.instruction(&Instruction::End);
    Ok(f)
}

/// A class whose `toString` is a field converts through the host object vtable,
/// which calls the field when it holds a function and gives `[object Object]`
/// otherwise, as when an optional one is absent.
fn emit_class_to_string_field_body(
    symbols: &SymbolTable,
    intrinsics: IntrinsicTypeIndices,
) -> Result<Function, CompilerFailure> {
    let object_vtable = symbols
        .prelude_global_idx("object_vtable")
        .ok_or_else(|| internal_failure("object_vtable is not imported from the prelude"))?;
    let mut f = Function::new([]);
    f.instruction(&Instruction::LocalGet(0));
    f.instruction(&Instruction::GlobalGet(object_vtable));
    f.instruction(&Instruction::StructGet {
        struct_type_index: intrinsics.vtable,
        field_index: 0,
    });
    f.instruction(&Instruction::CallRef(intrinsics.to_string_fn));
    f.instruction(&Instruction::End);
    Ok(f)
}

/// Class serialization reads the runtime property metadata, including visibility
/// and getters, so structural views and dynamically added fields use the same rules.
fn emit_class_to_json_body(symbols: &SymbolTable) -> Result<Function, CompilerFailure> {
    let serializer = symbols
        .prelude_func_idx("ObjectConstructor##toJson")
        .ok_or_else(|| internal_failure("the object serializer is not imported"))?;
    let mut f = Function::new([]);
    f.instruction(&Instruction::LocalGet(0));
    f.instruction(&Instruction::Call(serializer));
    f.instruction(&Instruction::End);
    Ok(f)
}

/// Default class `hash`: FNV-1a over the data-field payload slots, each value
/// hashed through its own `vtable.hash` (null slot → 0) — the same recipe as
/// the structural `emit_subtype_hash_body`, so the `equals`-implies-equal-hash
/// contract holds: `equals` compares exactly these slots by vtable dispatch.
fn emit_class_hash_body(n_fields: u32, intrinsics: IntrinsicTypeIndices) -> Function {
    const FNV_BASIS: i32 = 0x811c9dc5_u32.cast_signed();
    const FNV_PRIME: i32 = 0x01000193;

    if n_fields == 0 {
        let mut f = Function::new([]);
        f.instruction(&Instruction::I32Const(FNV_BASIS));
        f.instruction(&Instruction::End);
        return f;
    }

    // Locals (after 1 param self=0):
    //   1: $fields  (ref $objectFields)
    //   2: $hash    (i32)
    //   3: $elem    (ref null $Object)
    //   4: $elem_nn (ref $Object)
    //   5: $hash_fn (ref $hashFn)
    let locals: Vec<(u32, ValType)> = vec![
        (1, ref_to(intrinsics.object_fields)),
        (1, ValType::I32),
        (
            1,
            ValType::Ref(RefType {
                nullable: true,
                heap_type: HeapType::Concrete(intrinsics.object),
            }),
        ),
        (1, ref_to(intrinsics.object)),
        (1, ref_to(intrinsics.hash_fn)),
    ];
    let mut f = Function::new(locals);
    let (fields_arr, hash, elem, elem_nn, hash_fn) = (1u32, 2u32, 3u32, 4u32, 5u32);

    f.instruction(&Instruction::LocalGet(0));
    f.instruction(&Instruction::RefCastNonNull(HeapType::Concrete(
        intrinsics.object_shape,
    )));
    f.instruction(&Instruction::StructGet {
        struct_type_index: intrinsics.object_shape,
        field_index: 2,
    });
    f.instruction(&Instruction::LocalSet(fields_arr));

    f.instruction(&Instruction::I32Const(FNV_BASIS));
    f.instruction(&Instruction::LocalSet(hash));

    for slot in 0..n_fields {
        f.instruction(&Instruction::LocalGet(fields_arr));
        f.instruction(&Instruction::I32Const(slot.cast_signed()));
        f.instruction(&Instruction::ArrayGet(intrinsics.object_fields));
        f.instruction(&Instruction::LocalSet(elem));

        f.instruction(&Instruction::LocalGet(elem));
        f.instruction(&Instruction::RefIsNull);
        f.instruction(&Instruction::If(BlockType::Result(ValType::I32)));
        f.instruction(&Instruction::I32Const(0));
        f.instruction(&Instruction::Else);
        f.instruction(&Instruction::LocalGet(elem));
        f.instruction(&Instruction::RefAsNonNull);
        f.instruction(&Instruction::LocalTee(elem_nn));
        f.instruction(&Instruction::StructGet {
            struct_type_index: intrinsics.object,
            field_index: 0,
        });
        f.instruction(&Instruction::StructGet {
            struct_type_index: intrinsics.vtable,
            field_index: 3,
        });
        f.instruction(&Instruction::LocalSet(hash_fn));
        f.instruction(&Instruction::LocalGet(elem_nn));
        f.instruction(&Instruction::LocalGet(hash_fn));
        f.instruction(&Instruction::CallRef(intrinsics.hash_fn));
        f.instruction(&Instruction::End);

        // hash = (hash XOR slot_hash) * FNV prime
        f.instruction(&Instruction::LocalGet(hash));
        f.instruction(&Instruction::I32Xor);
        f.instruction(&Instruction::I32Const(FNV_PRIME));
        f.instruction(&Instruction::I32Mul);
        f.instruction(&Instruction::LocalSet(hash));
    }

    f.instruction(&Instruction::LocalGet(hash));
    f.instruction(&Instruction::End);
    f
}

/// Member names this module may write through a structural alias. A method is
/// fixed on its class, but a `{ m: () => T }` view of the instance, or a record
/// holding functions, writes the payload slot the method's closure lives in.
///
/// The rule is by name, so it covers imported classes too: this module's write
/// reaches an imported instance as easily as a local one.
#[derive(Clone, Debug)]
pub(crate) enum RewritableMembers {
    Named(std::collections::BTreeSet<String>),
    /// A computed-key write of a function-capable value may reach any member.
    Every,
}

impl Default for RewritableMembers {
    fn default() -> Self {
        Self::Named(std::collections::BTreeSet::new())
    }
}

impl RewritableMembers {
    pub(crate) fn of(ta: &TypedAst) -> Result<Self, crate::compiler_error::CompilerFailure> {
        let mut members = Self::default();
        for id in ta.stmt_ids().map_err(super::arena_failure)? {
            match &ta.try_stmt(id).map_err(super::arena_failure)?.kind {
                crate::TypedStmtKind::AssignField { name, .. } => {
                    members.note_name(&name.name);
                }
                crate::TypedStmtKind::AssignIndex { index, elem_ty, .. } => {
                    members.note_index(ta, *index, elem_ty)?;
                }
                _ => {}
            }
        }
        for id in ta.expr_ids().map_err(super::arena_failure)? {
            let crate::TypedExprKind::PostfixUnary { target, .. } =
                &ta.try_expr(id).map_err(super::arena_failure)?.kind
            else {
                continue;
            };
            match target {
                crate::PostfixTarget::Field { name, .. } => {
                    members.note_name(&name.name);
                }
                crate::PostfixTarget::Index { index, elem_ty, .. } => {
                    members.note_index(ta, *index, elem_ty)?;
                }
                _ => {}
            }
        }
        Ok(members)
    }

    fn note_index(
        &mut self,
        ta: &TypedAst,
        index: crate::ExprId,
        elem_ty: &crate::Type,
    ) -> Result<(), crate::compiler_error::CompilerFailure> {
        if !may_hold_function(elem_ty) {
            return Ok(());
        }
        match &ta.try_expr(index).map_err(super::arena_failure)?.kind {
            crate::TypedExprKind::String(name) => self.note_name(name),
            _ => *self = Self::Every,
        }
        Ok(())
    }

    fn note_name(&mut self, name: &str) {
        if let Self::Named(names) = self {
            names.insert(name.to_string());
        }
    }

    pub(crate) fn includes(&self, name: &str) -> bool {
        match self {
            Self::Named(names) => names.contains(name),
            Self::Every => true,
        }
    }
}

fn may_hold_function(ty: &crate::Type) -> bool {
    match ty.peel() {
        crate::Type::Union(members) => members.iter().any(may_hold_function),
        crate::Type::Function { .. }
        | crate::Type::Unknown
        | crate::Type::TypeVar(_)
        | crate::Type::GenericParam { .. }
        | crate::Type::Error => true,
        _ => false,
    }
}

fn ref_to(idx: u32) -> ValType {
    ValType::Ref(RefType {
        nullable: false,
        heap_type: HeapType::Concrete(idx),
    })
}

fn fieldtype_ref(idx: u32) -> FieldType {
    FieldType {
        element_type: StorageType::Val(ref_to(idx)),
        mutable: false,
    }
}

fn fieldtype_ref_null(idx: u32) -> FieldType {
    FieldType {
        element_type: StorageType::Val(ValType::Ref(RefType {
            nullable: true,
            heap_type: HeapType::Concrete(idx),
        })),
        mutable: false,
    }
}

/// The Wasm supertype of a class's vtable: the parent class's vtable, or
/// `$ClassVTable` at the root of the chain.
fn vtable_supertype_idx(
    class: &ClassLayout,
    intrinsics: IntrinsicTypeIndices,
    symbols: &SymbolTable,
) -> Result<u32, CompilerFailure> {
    match &class.parent {
        Some(p) => symbols.class_vtable_type_idx(p).ok_or_else(|| {
            internal_failure("a parent vtable type was not reserved before its child")
        }),
        None => Ok(intrinsics.class_vtable),
    }
}

/// The Wasm supertype of a class's instance struct: the parent class's struct,
/// or `$ObjectShape` at the root of the chain.
fn struct_supertype_idx(
    class: &ClassLayout,
    intrinsics: IntrinsicTypeIndices,
    symbols: &SymbolTable,
) -> Result<u32, CompilerFailure> {
    match &class.parent {
        Some(p) => symbols.class_struct_type_idx(p).ok_or_else(|| {
            internal_failure("a parent struct type was not reserved before its child")
        }),
        None => Ok(intrinsics.object_shape),
    }
}

fn substruct(fields: Vec<FieldType>, supertype: Option<u32>) -> SubType {
    SubType {
        is_final: false,
        supertype_idx: supertype,
        composite_type: CompositeType {
            inner: CompositeInnerType::Struct(StructType {
                fields: fields.into_boxed_slice(),
            }),
            shared: false,
            descriptor: None,
            describes: None,
        },
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::codegen::intrinsics::declare_intrinsic_types;
    use crate::runtime::intrinsic_types::build_intrinsic_types;
    use wasm_encoder::{
        ConstExpr, ExportKind, ExportSection, GlobalSection, GlobalType, HeapType, Module, RefType,
        TypeSection, ValType,
    };
    use wasmtime::Config;

    /// Seam guard for the intrinsic `(rec $Error_vtable $Error)` pair: this
    /// emitter's output for a parentless, method-less `{message, name}` class must
    /// canonicalize to the intrinsic types, so `class MyError extends Error`
    /// reconstructs the parent through the ordinary class path and WasmGC
    /// canonicalization unifies them.
    #[test]
    fn field_only_class_rec_group_canonicalizes_to_intrinsic_error() {
        let mut types = TypeSection::new();
        let intrinsics = declare_intrinsic_types(&mut types);
        let vtable_type_idx = crate::codegen::intrinsics::INTRINSIC_TYPE_COUNT;
        let struct_type_idx = vtable_type_idx + 1;
        let layout = ClassLayout {
            private_members: BTreeSet::new(),
            generics: Vec::new(),
            mangled: crate::mangle::prelude("ErrorWitness"),
            name: "ErrorWitness".to_string(),
            name_span: crate::Span::at(crate::FileId(0)),
            parent: None,
            fields: vec![
                FieldLayout {
                    name: "message".to_string(),
                    optional: false,
                    narrowing_check: None,
                },
                FieldLayout {
                    name: "name".to_string(),
                    optional: false,
                    narrowing_check: None,
                },
            ],
            methods: Vec::new(),
            own_methods: Vec::new(),
            adapter_slots: Vec::new(),
            ctor_params: Vec::new(),
            ctor_body: None,
            field_setup: Vec::new(),
            accessor_names: Vec::new(),
            struct_type_idx,
            vtable_type_idx,
            ctor_func_idx: 0,
            ctor_sig_idx: 0,
            ctor_init_func_idx: 0,
            ctor_init_sig_idx: 0,
            getter_func_idx: 0,
            setter_func_idx: 0,
            equals_func_idx: 0,
            to_string_func_idx: 0,
            to_json_func_idx: 0,
            hash_func_idx: 0,
            guarded_bodies: GuardedBodies::default(),
        };
        let plan = ClassPlan {
            package_name: "witness".to_string(),
            classes: Vec::new(),
            universal_stubs: [0; UNIVERSAL_STUB_COUNT],
        };
        let symbols = SymbolTable::default();
        let vtable = plan.vtable_subtype(&layout, intrinsics, &symbols).unwrap();
        let strukt = plan.struct_subtype(&layout, intrinsics, &symbols).unwrap();
        types.ty().rec([vtable, strukt]);

        let mut module = Module::new();
        module.section(&types);
        let mut globals = GlobalSection::new();
        let mut exports = ExportSection::new();
        for (name, idx) in [("vtable", vtable_type_idx), ("struct", struct_type_idx)] {
            globals.global(
                GlobalType {
                    val_type: ValType::Ref(RefType {
                        nullable: true,
                        heap_type: HeapType::Concrete(idx),
                    }),
                    mutable: false,
                    shared: false,
                },
                &ConstExpr::ref_null(HeapType::Concrete(idx)),
            );
            exports.export(name, ExportKind::Global, idx - vtable_type_idx);
        }
        module.section(&globals);
        module.section(&exports);

        let mut config = Config::new();
        config.wasm_gc(true);
        config.wasm_function_references(true);
        let engine = wasmtime::Engine::new(&config).unwrap();
        let intr = build_intrinsic_types(&engine).unwrap();
        let module = wasmtime::Module::new(&engine, module.finish()).unwrap();
        let recovered = |name: &str| {
            module
                .get_export(name)
                .unwrap()
                .global()
                .unwrap()
                .content()
                .as_ref()
                .map(|r| r.heap_type().clone())
                .unwrap()
                .as_concrete_struct()
                .unwrap()
                .clone()
        };
        assert!(wasmtime::StructType::eq(
            &intr.error_vtable,
            &recovered("vtable")
        ));
        assert!(wasmtime::StructType::eq(&intr.error, &recovered("struct")));
    }
}

#[cfg(test)]
mod closure_adapter_invariant_tests {
    use super::*;
    use crate::codegen::invariant_tests::{assert_internal, with_context};

    #[test]
    fn class_closure_adapter_requires_registered_method_and_slot_abi() {
        let (ta, diagnostics) = crate::compile::typecheck_to_typed_ast(
            "class C { f(a: number): number { return a; } } function main(): number { return new C().f(1); }",
            crate::FileId(0),
        );
        assert!(diagnostics.is_empty(), "{diagnostics:?}");
        let plan = ClassPlan::collect(&ta, &BTreeMap::new()).unwrap();
        let class = &plan.classes[0];
        let slot = &class.methods[0];
        let mut symbols = crate::codegen::tests::mock_symbols_with_intrinsics();
        with_context(&ta, &symbols, |ctx| {
            assert_internal(plan.emit_method_adapter_body(class, slot, ctx).unwrap_err());
        });
        symbols.record_class_method_func(slot.owner.clone(), slot.name.clone(), 1);
        with_context(&ta, &symbols, |ctx| {
            assert_internal(plan.emit_method_adapter_body(class, slot, ctx).unwrap_err());
        });
        symbols.record_class_method_abi(
            class.mangled.clone(),
            slot.name.clone(),
            MethodSlotAbi {
                params: vec![],
                ret: Some(ValType::F64),
            },
        );
        with_context(&ta, &symbols, |ctx| {
            assert_internal(plan.emit_method_adapter_body(class, slot, ctx).unwrap_err());
        });
    }
}

#[cfg(test)]
mod layout_invariant_tests {
    use super::*;
    use crate::compiler_error::CompilerFailure;

    fn typed(source: &str) -> TypedAst {
        let (ta, diagnostics) = crate::compile::typecheck_to_typed_ast(source, crate::FileId(0));
        assert!(diagnostics.is_empty(), "{diagnostics:?}");
        ta
    }

    fn class_mut<'a>(ta: &'a mut TypedAst, name: &str) -> &'a mut TypedClassDecl {
        ta.types
            .iter_mut()
            .find_map(|decl| match decl {
                TypedTypeDecl::Class(class) if class.name.name == name => Some(class),
                _ => None,
            })
            .unwrap()
    }

    fn assert_internal(result: Result<ClassPlan, CompilerFailure>) {
        assert!(
            matches!(result, Err(CompilerFailure::Internal { .. })),
            "expected an internal failure"
        );
    }

    #[test]
    fn missing_or_cyclic_parents_stop_layout_instead_of_dropping_the_prefix() {
        let source = "class A { x: number = 1 } class B extends A { y: number = 2 } \
                      function main(): number { return new B().x; }";
        let intact = typed(source);
        let plan = ClassPlan::collect(&intact, &BTreeMap::new()).unwrap();
        let b = plan.classes.iter().find(|class| class.name == "B").unwrap();
        assert_eq!(b.fields.len(), 2, "B inherits A's field prefix");

        // An orphaned subclass must fail rather than lose its parent's prefix.
        let mut orphan = intact.clone();
        orphan
            .types
            .retain(|decl| !matches!(decl, TypedTypeDecl::Class(class) if class.name.name == "A"));
        assert_internal(ClassPlan::collect(&orphan, &BTreeMap::new()));

        let mut cyclic = intact;
        let b_name = class_mut(&mut cyclic, "B").mangled_name.clone();
        class_mut(&mut cyclic, "A").extends = Some(b_name);
        assert_internal(ClassPlan::collect(&cyclic, &BTreeMap::new()));
    }

    #[test]
    fn guard_payload_arithmetic_is_checked() {
        assert_eq!(guard_slot_count(0, 0).unwrap(), 1);
        assert_eq!(guard_slot_count(2, 3).unwrap(), 12);
        assert!(guard_slot_count(u32::MAX, 0).is_err());
        assert!(guard_slot_count(1, u32::MAX).is_err());
        assert!(guard_slot_count(u32::MAX / 2, 3).is_err());
    }
}