Search results

<code>&amp;'a T</code> → <code>&amp;'static T</code> in safe code

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-highHigh priorityHigh priority

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

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-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: Closed (completed).

#118876 In rust-lang/rust;

· by Jules-Bertholet was closed on Feb 14, 2024

unnormalized user annotations can be ill-formed

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

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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: Closed (completed).

#104764 In rust-lang/rust;

· by aliemjay was closed on Jan 17, 2024

user annotations on associated consts can be ill-formed

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

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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: Closed (completed).

#104763 In rust-lang/rust;

· by aliemjay was closed on Jan 17, 2024

NLL migrate mode erroneously downgrades error with nested closures, yielding use-after-free

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-highHigh priorityHigh priority

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: Closed (completed).

#58776 In rust-lang/rust;

· by RalfJung was closed on Mar 11, 2019

NLL ignores lifetimes on associated constants in range patterns

A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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: Closed (completed).

#58299 In rust-lang/rust;

· by arielb1 was closed on Feb 14, 2019

Unexpected borrow checker ICE

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

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-highHigh priorityHigh priority

regression-from-stable-to-betaPerformance or correctness regression from stable to beta.Performance or correctness regression from stable to beta.

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: Closed (completed).

#57989 In rust-lang/rust;

· by smikims was closed on Jan 31, 2019

NLL may be mishandling <code>_</code> within type-ascription expression form

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

Status: Closed (completed).

#57731 In rust-lang/rust;

· by pnkfelix was closed on Jan 25, 2019

Unsoundness related to implied bounds for return types

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

Status: Closed (completed).

#57265 In rust-lang/rust;

· by scalexm was closed on Jan 3, 2019

Borrow checker incorrectly accepts code when calling function with complex lifetime bounds through a fn pointer

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-highHigh priorityHigh priority

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

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: Closed (completed).

#57170 In rust-lang/rust;

· by ennis was closed on Mar 2, 2019

region tests incorrectly passing with NLL enabled

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-mediumMedium priorityMedium priority

Status: Closed (completed).

#56993 In rust-lang/rust;

· by nikomatsakis was closed on May 17, 2019

Make RValue::Discriminant a normal Shallow read

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

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: Merged (completed).

rust-lang/rustnumber 56790

#56790 In rust-lang/rust;

· by matthewjasper was closed on Dec 16, 2018

should <code>let _: T = RHS</code> be synonymous with <code>let _ = RHS: T</code>?

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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

Status: Closed (completed).

#56715 In rust-lang/rust;

· by pnkfelix was closed on Dec 17, 2018