rust/tests/ui/contracts at 6e3a0154005e24bb5de47101c845d99d22bedd76 - rust

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

Gate 2018 UI tests

2025-11-27 14:13:58 -05:00

contract-captures-via-closure-noncopy.stderr

Gate 2018 UI tests

2025-11-27 14:13:58 -05: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