Search results

closure rvalue not checked for WF allowing it to assume more implied bounds

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

A-closuresArea: Closures (`|…| { … }`)Area: Closures (`|…| { … }`)

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: Open.

#123312 In rust-lang/rust;

· aliemjay opened on Apr 1, 2024

ignored lifetime constraints in type annotations

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

P-mediumMedium priorityMedium 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: Open.

#115175 In rust-lang/rust;

· aliemjay opened on Aug 24, 2023

closures accept ill-formed inputs

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: Open.

#104478 In rust-lang/rust;

· aliemjay opened on Nov 16, 2022

<code>#[thread_local] static mut</code> is allowed to have <code>'static</code> lifetime

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

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

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

P-mediumMedium priorityMedium priority

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

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.

#54366 In rust-lang/rust;

· nikomatsakis opened on Sep 19, 2018

fix "bivariant wf" bug in the NLL subtyping code

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

A-trait-systemArea: Trait systemArea: Trait system

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

P-mediumMedium priorityMedium 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: Open.

#54105 In rust-lang/rust;

· nikomatsakis opened on Sep 10, 2018