..
cross-crate-checks
Test cross-crate runtime contract checks
2025-10-12 18:33:09 +01:00
internal_machinery
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
associated-item.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
async-fn-contract-ice-145333.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
async-fn-contract-ice-145333.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-annotation-limitations.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-annotation-limitations.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-attributes-generics.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-attributes-nest.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-attributes-tail.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-captures-via-closure-copy.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-captures-via-closure-noncopy.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-captures-via-closure-noncopy.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contract-const-fn.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contracts-disabled-side-effect-declarations.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contracts-disabled-side-effect-ensures.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contracts-ensures-early-fn-exit.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contracts-ensures-is-not-inherited-when-nesting.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
contracts-requires-is-not-inherited-when-nesting.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
declared-vars-referring-to-params.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
declared-vars-used-in-ensures.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
declared-vars-used-in-requires-and-ensures.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
disallow-contract-annotation-on-non-fn.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
disallow-contract-annotation-on-non-fn.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
empty-ensures.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
empty-ensures.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
empty-requires.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
empty-requires.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
incomplete-feature.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
incomplete-feature.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
requires-block-stmt.rs
contracts: fix lowering final declaration without trailing semicolon
2025-12-07 09:08:46 +00:00
requires-bool-expr-with-semicolon.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
requires-bool-expr-with-semicolon.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
requires-no-final-expression.rs
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00
requires-no-final-expression.stderr
contracts: clean up feature flag warning duplicated across tests
2025-12-07 17:29:30 +00:00