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

Draft

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

+1,397-78

Commits on Dec 11, 2024

contracts core intrinsics. these are hooks to 1. control whether contract checks are run, and 2. allow 3rd party tools to intercept and reintepret the results of running contracts.
pnkfelix
committed
contracts: added lang items that act as hooks for rustc-injected code to invoke.
pnkfelix
committed
intermediate step: express contracts as part of function header and lower it into the previously added contract lang items.
pnkfelix
committed
attribute-based contract syntax that desugars into the internal AST extensions added earlier.
pnkfelix
committed
demonstrate how to capture state at precondition time and feed into postcondition predicate.
pnkfelix
committed
separate feature gates for the internal machinery that should never be user exposed versus the interface we want to ship externally eventually.
pnkfelix
committed
update stderr output to include check_contracts as a valid expected value.
pnkfelix
committed