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

Merged

bors merged 10 commits into

rust-lang:masterfrom

pnkfelix:rustc-contracts

Feb 5, 2025

Commits on Feb 3, 2025

Contracts core intrinsics.

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

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

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

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

pnkfelix
authored and
celinval
committed
6a6c6b8
Refactor contract builtin macro + error handling
celinval
committed
804cce4
Improve contracts intrisics and remove wrapper function
celinval
committed
2bb1464
Update test output to include check_contracts cfg
celinval
committed
2c4923e
Rename rustc_contract to contract
celinval
committed
ddbf54b