Skip to content

Guard HIR lowered contracts with contract_checks#144438

Open
dawidl022 wants to merge 1 commit intorust-lang:masterfrom
dawidl022:contracts/guarded-lowering
Open

Guard HIR lowered contracts with `contract_checks`#144438
dawidl022 wants to merge 1 commit intorust-lang:masterfrom
dawidl022:contracts/guarded-lowering

Commits

Commits on Jul 25, 2025