#[contracts::requires(...)] + #[contracts::ensures(...)]#128045

Merged

bors merged 10 commits intorust-lang:masterfrom pnkfelix:rustc-contracts

Feb 5, 2025

Commits on Feb 3, 2025

Contracts core intrinsics.

pnkfelix
authored and
celinval
committed
contracts: added lang items that act as hooks for rustc-injected code to invoke.

pnkfelix
authored and
celinval
committed
Express contracts as part of function header and lower it to the contract lang items
celinval
committed
Desugars contract into the internal AST extensions

pnkfelix
authored and
celinval
committed
demonstrate how to capture state at precondition time and feed into postcondition predicate.

pnkfelix
authored and
celinval
committed
Separate contract feature gates for the internal machinery

pnkfelix
authored and
celinval
committed
Refactor contract builtin macro + error handling
celinval
committed
Improve contracts intrisics and remove wrapper function
celinval
committed
Update test output to include check_contracts cfg
celinval
committed
Rename rustc_contract to contract
celinval
committed