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

Draft

pnkfelix wants to merge 7 commits intorust-lang:masterfrom pnkfelix:rustc-contracts

+1,403-80

Commits on Jan 10, 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
attribute-based contract syntax that desugars into the internal AST extensions added earlier.

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
update stderr output to include check_contracts as a valid expected value.

pnkfelix
authored and
celinval
committed