List view

[NLL] integrate liveness with inference

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

Status: Closed (completed).

#45186 In rust-lang/rust;

· by nikomatsakis was closed on Nov 16, 2017

MIR-borrowck: dereferences are printed wrapped in parens

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

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).

#45185 In rust-lang/rust;

· by pnkfelix was closed on Nov 22, 2017

MIR-borrowck: emit "<code>foo</code> does not live long enough" instead of borrow errors

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

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

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

#45360 In rust-lang/rust;

· by arielb1 was closed on Nov 18, 2017

region-liveness-drop-no-may-dangle.rs compilation failure on MIR borrowck

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

Status: Closed (completed).

#46267 In rust-lang/rust;

· by KiChjang was closed on Aug 4, 2018

MIR borrowck: error does not know about free/named lifetimes

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

Status: Closed (completed).

#46472 In rust-lang/rust;

· by arielb1 was closed on Dec 12, 2017

MIR borrowck: error message confuses locals and temporaries

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

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

Status: Closed (completed).

#46471 In rust-lang/rust;

· by arielb1 was closed on Dec 12, 2017

MIR borrowck: spurious storagedead in constants

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).

#46522 In rust-lang/rust;

· by arielb1 was closed on Dec 7, 2017

MIR borrowck: the value of an assignment statement is uninitialized

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

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

Status: Closed (completed).

#46159 In rust-lang/rust;

· by arielb1 was closed on Dec 3, 2017

MIR borrowck: spurious error with ref pattern in argument

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

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

Status: Closed (completed).

#46161 In rust-lang/rust;

· by arielb1 was closed on Dec 3, 2017

MIR borrowck: spurious cannot borrow immutable item error with a closure

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

Status: Closed (completed).

#46160 In rust-lang/rust;

· by arielb1 was closed on Dec 2, 2017

add <code>#![feature(nll)]</code> to supplement <code>-Znll</code>

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).

#46716 In rust-lang/rust;

· by nikomatsakis was closed on Dec 21, 2017

NLL inference doesn't work when it probably should

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).

#46545 In rust-lang/rust;

· by arielb1 was closed on Dec 12, 2017

MIR-borrowck: ICE during diagnostic search for assignment (unwrap of None)

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

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

#45199 In rust-lang/rust;

· by pnkfelix was closed on Nov 27, 2017

MIR Borrowck does not handle borrows of array elements

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

#45537 In rust-lang/rust;

· by nikomatsakis was closed on Dec 6, 2017

MIR-borrowck: assignment to static mut shouldn't be an error

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

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

Status: Closed (completed).

#45641 In rust-lang/rust;

· by arielb1 was closed on Nov 18, 2017

MIR borrowck: ICE: End-user description not implemented for field access on TyClosure

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

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

Status: Closed (completed).

#45643 In rust-lang/rust;

· by arielb1 was closed on Nov 21, 2017

NLL: handle outlives relations, process region obligations in the MIR type 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: Closed (completed).

#45826 In rust-lang/rust;

· by nikomatsakis was closed on Jan 3, 2018

check predicates, well-formedness in the MIR type-checker

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).

#45827 In rust-lang/rust;

· by nikomatsakis was closed on Dec 5, 2017

NLL: refine liveness with "maybe initialized" analysis

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).

#45665 In rust-lang/rust;

· by nikomatsakis was closed on Nov 16, 2017

MIR-borrowck: immutable unique closure upvars can be mutated

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

E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.

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

Status: Closed (completed).

#46023 In rust-lang/rust;

· by arielb1 was closed on Dec 1, 2017

MIR Borrowck: two-phased borrows

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).

#46037 In rust-lang/rust;

· by nikomatsakis was closed on Jan 3, 2018

Enable MIR-borrowck-only output

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

E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.

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).

#46097 In rust-lang/rust;

· by nikomatsakis was closed on Nov 26, 2017

MIR-borrowck: paths off of statics should not be borrow-checked

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

#45129 In rust-lang/rust;

· by pnkfelix was closed on Nov 18, 2017

MIR-borrowck: (unsound) fails to see errors in borrowck-vec-pattern-move-tail.rs

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

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

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

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).

#44834 In rust-lang/rust;

· by pnkfelix was closed on Dec 6, 2017

MIR-borrowck: Add support for <code>union</code> types

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

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

E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.

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).

#44831 In rust-lang/rust;

· by pnkfelix was closed on Dec 6, 2017