- #141598 · Mark-Simulacrum opened
on May 26, 2025 14 - #141901 · jieyouxu opened
on Jun 2, 2025 1
Issues
is:issue state:open label:F-contracts
is:issue state:open label:F-contracts
Search results
Contracts allow side effect expressions
C-bugCategory: This is a bug.Category: This is a bug.F-contracts`#![feature(contracts)]``#![feature(contracts)]`Status: Open.#139548 In rust-lang/rust;Refactor <code>contracts</code> attribute expansion as AST macro
C-cleanupCategory: PRs that clean code up or issues documenting cleanup.Category: PRs that clean code up or issues documenting cleanup.F-contracts`#![feature(contracts)]``#![feature(contracts)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.Status: Open.#139304 In rust-lang/rust;ICE: <code>index out of bounds: the len is 0 but the index is 18446744073709551615</code>
A-strict-provenanceArea: Strict provenance for raw pointersArea: Strict provenance for raw pointersC-bugCategory: This is a bug.Category: This is a bug.F-contracts`#![feature(contracts)]``#![feature(contracts)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.Status: Open.#137588 In rust-lang/rust;ICE: <code>None</code> in <code>rustc_parse/src/parser/attr_wrapper.rs</code>
C-bugCategory: This is a bug.Category: This is a bug.F-contracts`#![feature(contracts)]``#![feature(contracts)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issueT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.Status: Open.#137509 In rust-lang/rust;Rust Contracts syntax
C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.F-contracts`#![feature(contracts)]``#![feature(contracts)]`T-langRelevant to the language teamRelevant to the language teamStatus: Open.#137134 In rust-lang/rust;ICE with contract attr on struct
C-bugCategory: This is a bug.Category: This is a bug.F-contracts`#![feature(contracts)]``#![feature(contracts)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️requires-incomplete-featuresThis issue requires the use of incomplete features.This issue requires the use of incomplete features.S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issueT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.Status: Open.#137129 In rust-lang/rust;rustc_contracts: differentiate between exhaustive and non-exhaustive contracts
A-docsArea: Documentation for any part of the project, including the compiler, standard library, and toolsArea: Documentation for any part of the project, including the compiler, standard library, and toolsC-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.F-contracts`#![feature(contracts)]``#![feature(contracts)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.Status: Open.#128274 In rust-lang/rust;Tracking Issue for Contracts
B-experimentalBlocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).Blocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCF-contracts`#![feature(contracts)]``#![feature(contracts)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.T-langRelevant to the language teamRelevant to the language teamStatus: Open.#128044 In rust-lang/rust;