Skip to content

feat: support while let stmt for rust_to_vir_expr.#2482

Open
ziqiaozhou wants to merge 1 commit into
mainfrom
feat-while-let
Open

feat: support while let stmt for rust_to_vir_expr.#2482
ziqiaozhou wants to merge 1 commit into
mainfrom
feat-while-let

Commits

Commits on May 23, 2026