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;

· celinval opened on Apr 8, 2025

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;

· xizheyin opened on Apr 3, 2025

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 pointers

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) ❄️

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;

· matthiaskrgr opened on Feb 25, 2025

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 issue

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.

#137509 In rust-lang/rust;

· cushionbadak opened on Feb 24, 2025

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 team

Status: Open.

#137134 In rust-lang/rust;

· codeOverFlow opened on Feb 16, 2025

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 issue

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.

#137129 In rust-lang/rust;

· matthiaskrgr opened on Feb 16, 2025

Add contracts for all functions in <code>Alignment</code>

F-contracts`#![feature(contracts)]``#![feature(contracts)]`

S-waiting-on-authorStatus: This is awaiting some action (such as code changes or more information) from the author.Status: This is awaiting some action (such as code changes or more information) from the author.

T-libsRelevant to the library team, which will review and decide on the PR/issue.Relevant to the library team, which will review and decide on the PR/issue.

Status: Draft (not ready).

rust-lang/rustnumber 136578

#136578 In rust-lang/rust;

· tautschnig opened on Feb 5, 2025

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 tools

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-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;

· lolbinarycat opened on Jul 27, 2024

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 RFC

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.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#128044 In rust-lang/rust;

· pnkfelix opened on Jul 21, 2024