aeae085dc3
Contract variables can be declared in the `requires` clause and can be referenced both in `requires` and `ensures`, subject to usual borrow checking rules. This allows any setup common to both the `requires` and `ensures` clauses to only be done once. |
||
|---|---|---|
| .. | ||
| lowering | ||
| contract-ast-extensions-nest.rs | ||
| contract-ast-extensions-tail.rs | ||
| contract-intrinsics.rs | ||
| contract-lang-items.chk_fail_post.stderr | ||
| contract-lang-items.chk_pass.stderr | ||
| contract-lang-items.rs | ||
| contract-lang-items.unchk_pass.stderr | ||
| contracts-lowering-ensures-is-not-inherited-when-nesting.rs | ||
| contracts-lowering-requires-is-not-inherited-when-nesting.rs | ||
| internal-feature-gating.rs | ||
| internal-feature-gating.stderr | ||