rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
master
rust/tests/ui/contracts
History
Dawid Lachowicz aeae085dc3 Add contract variable declarations 
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.
2025-10-18 15:00:34 +01:00
..
cross-crate-checks
Test cross-crate runtime contract checks
2025-10-12 18:33:09 +01:00
internal_machinery
Add contract variable declarations
2025-10-18 15:00:34 +01:00
associated-item.rs
Don't ICE when failing to lower contracts for associated impl items
2025-02-10 21:38:31 +00:00
associated-item.stderr
Don't ICE when failing to lower contracts for associated impl items
2025-02-10 21:38:31 +00:00
async-fn-contract-ice-145333.rs
Fix ICE when using contracts on async functions
2025-10-15 09:09:23 +08:00
async-fn-contract-ice-145333.stderr
Fix ICE when using contracts on async functions
2025-10-15 09:09:23 +08:00
contract-annotation-limitations.rs
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-annotation-limitations.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-generics.chk_const_fail.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-generics.chk_fail_post.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-generics.chk_fail_pre.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-generics.chk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-generics.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contract-attributes-generics.unchk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-nest.chk_fail_post.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-nest.chk_fail_pre.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-nest.chk_pass.stderr
Fix unreachable expression warning
2025-04-08 10:46:31 -07:00
contract-attributes-nest.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contract-attributes-nest.unchk_fail_post.stderr
Fix unreachable expression warning
2025-04-08 10:46:31 -07:00
contract-attributes-nest.unchk_fail_pre.stderr
Fix unreachable expression warning
2025-04-08 10:46:31 -07:00
contract-attributes-nest.unchk_pass.stderr
Fix unreachable expression warning
2025-04-08 10:46:31 -07:00
contract-attributes-tail.chk_fail_post.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-tail.chk_fail_pre.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-tail.chk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-tail.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contract-attributes-tail.unchk_fail_post.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-tail.unchk_fail_pre.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-attributes-tail.unchk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-captures-via-closure-copy.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contract-captures-via-closure-copy.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-captures-via-closure-noncopy.rs
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contract-captures-via-closure-noncopy.stderr
Fix unreachable expression warning
2025-04-08 10:46:31 -07:00
contract-const-fn.all_pass.stderr
Enable contracts for const functions
2025-04-07 11:17:33 -07:00
contract-const-fn.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contract-const-fn.runtime_fail_post.stderr
Enable contracts for const functions
2025-04-07 11:17:33 -07:00
contract-const-fn.runtime_fail_pre.stderr
Enable contracts for const functions
2025-04-07 11:17:33 -07:00
contracts-disabled-side-effect-declarations.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
contracts-disabled-side-effect-declarations.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00
contracts-disabled-side-effect-ensures.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
contracts-disabled-side-effect-ensures.stderr
Guard HIR lowered contracts with contract_checks
2025-10-11 00:16:29 +01:00
contracts-ensures-early-fn-exit.chk_fail_ret.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-early-fn-exit.chk_fail_try.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-early-fn-exit.chk_fail_yeet.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-early-fn-exit.chk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-early-fn-exit.rs
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
2025-07-19 18:44:07 +02:00
contracts-ensures-early-fn-exit.unchk_pass.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-is-not-inherited-when-nesting.rs
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-ensures-is-not-inherited-when-nesting.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-requires-is-not-inherited-when-nesting.rs
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
contracts-requires-is-not-inherited-when-nesting.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
declared-vars-referring-to-params.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
declared-vars-referring-to-params.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00
declared-vars-used-in-ensures.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
declared-vars-used-in-ensures.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00
declared-vars-used-in-requires-and-ensures.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
declared-vars-used-in-requires-and-ensures.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00
disallow-contract-annotation-on-non-fn.rs
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
disallow-contract-annotation-on-non-fn.stderr
Rename rustc_contract to contract
2025-02-03 13:55:15 -08:00
empty-ensures.rs
Guard HIR lowered contracts with contract_checks
2025-10-11 00:16:29 +01:00
empty-ensures.stderr
Guard HIR lowered contracts with contract_checks
2025-10-11 00:16:29 +01:00
empty-requires.rs
Guard HIR lowered contracts with contract_checks
2025-10-11 00:16:29 +01:00
empty-requires.stderr
Guard HIR lowered contracts with contract_checks
2025-10-11 00:16:29 +01:00
requires-bool-expr-with-semicolon.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
requires-bool-expr-with-semicolon.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00
requires-no-final-expression.rs
Add contract variable declarations
2025-10-18 15:00:34 +01:00
requires-no-final-expression.stderr
Add contract variable declarations
2025-10-18 15:00:34 +01:00