Skip to content

Issues: rust-lang/rust

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
10 Open 3 Closed
10 Open 3 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ICE: in tokenstream with contracts in impl A-parser Area: The lexing & parsing of Rust source code to an AST C-bug Category: This is a bug. F-contracts `#![feature(contracts)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. S-has-bisection Status: A bisection has been found for this issue S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#140683 opened May 5, 2025 by matthiaskrgr
1
Contracts allow side effect expressions C-bug Category: This is a bug. F-contracts `#![feature(contracts)]`
#139548 opened Apr 8, 2025 by celinval
@celinval
2
Refactor contracts attribute expansion as AST macro C-cleanup Category: PRs that clean code up or issues documenting cleanup. F-contracts `#![feature(contracts)]` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139304 opened Apr 3, 2025 by xizheyin
ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 A-strict-provenance Area: Strict provenance for raw pointers C-bug Category: This is a bug. F-contracts `#![feature(contracts)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137588 opened Feb 25, 2025 by matthiaskrgr
@xizheyin
4
ICE: None in rustc_parse/src/parser/attr_wrapper.rs C-bug Category: This is a bug. F-contracts `#![feature(contracts)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137509 opened Feb 24, 2025 by cushionbadak
@TaKO8Ki
Rust Contracts syntax C-discussion Category: Discussion or questions that doesn't represent real issues. F-contracts `#![feature(contracts)]` T-lang Relevant to the language team, which will review and decide on the PR/issue.
#137134 opened Feb 16, 2025 by codeOverFlow
1
ICE with contract attr on struct C-bug Category: This is a bug. F-contracts `#![feature(contracts)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ requires-incomplete-features This issue requires the use of incomplete features. S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137129 opened Feb 16, 2025 by matthiaskrgr
@xizheyin
2
Add contracts for all functions in Alignment F-contracts `#![feature(contracts)]` S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-libs Relevant to the library team, which will review and decide on the PR/issue.
#136578 opened Feb 5, 2025 by tautschnig • Draft
@tgross35
54
rustc_contracts: differentiate between exhaustive and non-exhaustive contracts A-docs Area: Documentation for any part of the project, including the compiler, standard library, and tools C-discussion Category: Discussion or questions that doesn't represent real issues. F-contracts `#![feature(contracts)]` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#128274 opened Jul 27, 2024 by lolbinarycat
Tracking Issue for Contracts B-experimental Blocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize). C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC F-contracts `#![feature(contracts)]` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-lang Relevant to the language team, which will review and decide on the PR/issue.
#128044 opened Jul 21, 2024 by pnkfelix
2 of 9 tasks
7
ProTip! Updated in the last three days: updated:>2025-05-19.