; Iter 18c.1 — `(clone X)` schema floor.
;
; The `clone` form is an additive `Term` variant. In 18c.1 it is
; identity for both the typechecker and the codegen — `(clone X)`
; has the same type as `X` and lowers to the same SSA reg with no
; extra IR. Iter 18c.3 will replace the codegen passthrough with
; `call void @ailang_rc_inc(ptr %v)` under `--alloc=rc`; for now
; the wrapper's only role is to record author intent.
;
; This fixture wraps a let-bound `Int` in `(clone x)` at its single
; use site. The inner term is a primitive value (Int) so RC inc is
; meaningless even in 18c.3 — the point is purely that the schema
; round-trips and the binary still produces the expected `42`.
;
; Expected stdout:
;   42

(module clone_demo

  (fn main
    (doc "Use `(clone x)` on a let-bound Int; print it.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (let x 42
        (app print (clone x))))))
