Skip to content
New issue

NLL prototype

Closed
Overdue by 7 year(s)
•
Due by December 8, 2017
Closed Aug 4, 2018
100% complete

NLL prototype for All-Hands

List view

0 issues of 27 selected

  • [NLL] integrate liveness with inference

    A-NLLArea: 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 lints
    T-compilerRelevant 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 checker
    A-diagnosticsArea: Messages for errors, warnings, and lints
    C-bugCategory: This is a bug.
    T-compilerRelevant 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.
    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.
    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 lints
    C-bugCategory: 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.
    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 checker
    C-bugCategory: 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 checker
    C-bugCategory: 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.
    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.
    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.
    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 lints
    I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
    T-compilerRelevant 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.
    T-compilerRelevant 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 checker
    C-bugCategory: 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 checker
    C-bugCategory: This is a bug.
    I-ICEIssue: 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.
    T-compilerRelevant 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.
    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.
    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 checker
    E-mentorCall 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/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.
    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.
    E-mentorCall 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.
    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 checker
    C-bugCategory: This is a bug.
    T-compilerRelevant 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 checker
    B-unstableBlocker: Implemented in the nightly compiler and unstable.
    C-bugCategory: This is a bug.
    I-unsoundIssue: 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.
    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 checker
    C-enhancementCategory: 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.
    T-compilerRelevant 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
    •