//! Unit tests for the runtime-type inference used to promote the

//! body's tail value when a binding form has side effects. Each

//! variant must map to the wasm type the codegen path emits;

//! otherwise upstream consumers downcast to the wrong shape and the

//! wasm becomes invalid.

use crate::ast::{Expr, Fraction, WasmType};

use super::infer::infer_runtime_type;

/// `infer_runtime_type` is the fallback for promoting a let body's

/// tail value to a runtime type when the body has side-effects.

#[test]

    // ADR-0028: an integer literal defaults to Index (I32); a fractional

    // literal is a dimensionless Scalar (Ratio). Mirrors `classify_stack_type`.

        WasmType::I32

    );

        WasmType::Ratio

    );

#[test]

    // Bool/nil literals lower to `WasmType::Bool` on the stack, so the let-body

    // tail inference must mirror that (sizing the binding local to match the

    // value codegen pushes — see the WasmType::Bool serialization split).

/// A let body whose tail is a String literal must report

/// `StringRef`. The previous hardcoded `PairRef(I32)` fallback

/// made `(cons (let ...) nil)` see a pair-of-pair and refuse

/// at compile time.

#[test]

        WasmType::StringRef,

    );

/// `WasmLocal(idx, ty)` carries its wasm type directly. Promoting

/// must surface that type unchanged.

#[test]

        WasmType::Ratio,

    );

        WasmType::StringRef,

    );

/// `WasmRuntime(ty)` carries its wasm type directly. Same path

/// as `WasmLocal` from the inference perspective.

#[test]

        WasmType::Commodity,

    );