Skip to content

Add IntoBox instead of into_box in lowering#8967

Open
giladchase wants to merge 1 commit intomainfrom
gilad/12-08-add_intobox_instead_of_into_box_in_lowering
Open

Add `IntoBox` instead of into_box in lowering#8967
giladchase wants to merge 1 commit intomainfrom
gilad/12-08-add_intobox_instead_of_into_box_in_lowering

Commits

Commits on Dec 11, 2025