Expand description
Bytecode compiler - translates AST to bytecode
Modules§
- string_
interpolation - Compile-time string interpolation compilation.
Structs§
- Bytecode
Compiler - Compiler state
- Closure
Body Peek - cluster-2-cw-IB-class-b (2026-05-16, supervisor R3 binding-ratified):
retained closure-literal peek used to re-run body return-type
inference at the value-call site with caller-context arg type hints.
Stored per-local-slot in
BytecodeCompiler.local_callable_closure_bodiesat let-binding time (update_callable_binding_from_expr/FunctionExprarm). The body is the ASTVec<Statement>clone — no bytecode-lowering happens at lookup time; the inference walker only inspects AST shape.
Enums§
- Borrow
Mode - Borrow mode for reference parameters - Shared (&) or Exclusive (&mut). Kept for codegen even though the lexical borrow checker has been removed.
- Compile
Diagnostic Mode - Param
Pass Mode - Canonical compile-time parameter passing contract.
- Type
Diagnostic Mode
Functions§
- infer_
param_ pass_ modes - Infer effective parameter pass modes (
ByValue/ByRefShared/ByRefExclusive) keyed by function name. - infer_
reference_ model - Infer effective reference parameters and mutation behavior without compiling bytecode.
Type Aliases§
- Borrow
Place - A borrow place key used for encoding borrow targets in codegen.