Search results

<code>super let</code> with <code>&amp;mut [T; 0]</code> in <code>const</code> has inconsistent borrow-checking behavior

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

C-bugCategory: This is a bug.Category: This is a bug.

F-super_letit's super, let's go!it's super, let's go!

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

Status: Open.

#142766 In rust-lang/rust;

· theemathas opened on Jun 20, 2025

nested mutable reference error

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

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.

#142039 In rust-lang/rust;

· y86-dev opened on Jun 4, 2025

<code>rustc</code> thinks that two non-intersecting borrows intersect. And fails compilation

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

fixed-by-poloniusCompiling with `-Zpolonius` fixes this issue.Compiling with `-Zpolonius` fixes this issue.

Status: Open.

#139930 In rust-lang/rust;

· USSURATONCACHI opened on Apr 16, 2025

strange cannot move out of a mutable reference error

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-clippyArea: ClippyArea: Clippy

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

D-lack-of-suggestionDiagnostics: Adding a (structured) suggestion would increase the quality of the diagnostic.Diagnostics: Adding a (structured) suggestion would increase the quality of the diagnostic.

L-false-positiveLint: False positive (should not have fired).Lint: False positive (should not have fired).

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.

#139670 In rust-lang/rust;

· Sherlock-Holo opened on Apr 11, 2025

ICE: <code>assertion failed: bpos.to_u32() &gt;= mbc.pos.to_u32() + mbc.bytes as u32'</code>

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-error-handlingArea: Error handlingArea: Error handling

A-frontendArea: Compiler frontend (errors, parsing and HIR)Area: Compiler frontend (errors, parsing and HIR)

A-parserArea: The lexing & parsing of Rust source code to an ASTArea: The lexing & parsing of Rust source code to an AST

C-bugCategory: This is a bug.Category: This is a bug.

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

S-has-bisectionStatus: A bisection has been found for this issueStatus: A bisection has been found for this issue

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.

#139089 In rust-lang/rust;

· matthiaskrgr opened on Mar 28, 2025

Lifetime must be 'static, but why?

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

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.

#138408 In rust-lang/rust;

· timokoesters opened on Mar 12, 2025

How can <code>let y;</code> and <code>let y: _;</code> be different to the borrow checker?

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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.

#138194 In rust-lang/rust;

· steffahn opened on Mar 7, 2025

Too conservative lifetime check in match arm with if condition.

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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

Status: Open.

#137878 In rust-lang/rust;

· sswybd opened on Mar 2, 2025

Confusing diagnostic when the error value converted by <code>?</code> fails to satisfy a <code>'static</code> bound

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

A-trait-systemArea: Trait systemArea: Trait system

D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

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.

#136902 In rust-lang/rust;

· Zalathar opened on Feb 12, 2025

"implementation is not general enough" even if only <code>'static</code> is used.

A-async-awaitArea: Async & AwaitArea: Async & Await

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

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.

#136726 In rust-lang/rust;

· tisonkun opened on Feb 8, 2025

Borrow checker does not release a mutable borrow when the condition is false on async function

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

fixed-by-poloniusCompiling with `-Zpolonius` fixes this issue.Compiling with `-Zpolonius` fixes this issue.

Status: Open.

#136245 In rust-lang/rust;

· ultimaweapon opened on Jan 29, 2025

ICE: cannot convert ... to a region vid

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

E-needs-mcveCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example

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.

#135427 In rust-lang/rust;

· QuineDot opened on Jan 13, 2025