user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
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