Triage digest: Wed Oct 07 2015


#1

Nominated (I-nominated) issues

`Arc` should only require `Sync`, not `Send` (#20257)

Correctly handle dllimport on Windows/MSVC (#27438)

Explicit OIBIT impls hide the default impls (#27554)

  • Added I-nominated. By @huonw

Allow where clauses involving types which don't include a type parameter. (#27972)

Settle execution order uncertainty for `+=` (#28160)

Audit iterator specializations for side effects (#28810)

  • Added I-nominated. By @alexcrichton

    After some discussion about https://github.com/rust-lang/rust/pull/28125 the libs subteam decided that iterator adaptors should always preserve the same semantics in terms of the convenience methods and such. This was not audited for when all the initial specializations landed, so we should take a look and make sure that everything adheres to this policy.

    Additionally, documentation should be added to the Iterator trait methods indicating what form of guarantees you are given (e.g. calling last is equivalent to exhausting the iterator).

    triage: I-nominated

  • Removed I-nominated. By @alexcrichton
  • Added I-nominated. By @alexcrichton

#28669 caused regression compiling pinyin crate on nightly (#28853)

  • Added I-nominated. By @alexcrichton

    triage: I-nominated

Nightly regression: lifetime error with autoderef (#28854)

  • Added I-nominated. By @alexcrichton

    triage: I-nominated

    Tagging as T-compiler, but may also be T-lang (not sure). This compiles ok on stable/beta and fails to compile on nightly.

Beta-nominated issues

check upvars in closures that are in statics (#28131, closed)

  • Added beta-nominated. By @alexcrichton

    triage: beta-nominated

    @arielb1 indicates that the regression reported in https://github.com/rust-lang/rust/issues/28801 was fixed by this PR (e.g. working in 1.3, broken in 1.4 (beta), and working in 1.5), so nominating for a backport to beta.

Warn on `pub extern crate`. (#28486, closed)

Make function pointers implement traits for up to 12 parameters (#28560, closed)

use the infcx tables to check if a closure is Copy (#28626, closed)

Un-regress conflicting destructors (#28681, closed)

rustc: Don't lint about isize/usize in FFI (#28779, closed)

Remaining issues

Deref coercions do not work with blocks (#26978)

  • Added P-medium. By @nikomatsakis

    triage: P-medium

Generic type defaults should not be allowed if they don’t satisfy type constraints (#28024)

  • Added P-high. By @nikomatsakis

    triage: P-high

    Seems like a straightforward oversight in the WF checker.

Open tracking issues for all language features (#28244)

  • Added P-medium. By @nikomatsakis

    triage: P-medium

Field access of block: discrepancy between parser-lalr and rustc (#28379)

  • Added I-nominated. By @nikomatsakis
  • Added P-medium. By @nikomatsakis

    triage: P-medium

    This is a backwards incompat issue, but feels like an edge case. Nonetheless we should definitely fix it!

Private trait's methods reachable through UFCS (#28514)

  • Added P-high. By @nikomatsakis

    triage: P-high

ICE: unexpected panic in InferCtxt (#28550)

  • Added P-medium. By @nikomatsakis

    triage: P-medium

Lifetime bounds on structs do not entirely constrain impl fns (#28609)

  • Added P-high. By @nikomatsakis

    triage: P-high

LLVM loop optimization can make safe programs crash (#28728)

  • Added P-medium. By @nikomatsakis

    triage: P-medium

    We’d like to see what LLVM will do before we invest a lot of effort on our side, and this seems relatively unlikely to cause problems in practice (though I have personally hit this while developing the compiler as well). There are no backwards incomatibility issues to be concerned about.

Wrapping expr in curly braces changes the operator precedence (#28777)

  • Added P-medium. By @nikomatsakis

    Um, I agree.

    triage: P-medium

Parsing inconsistencies (lambda, proc, return) (#28784)

  • Added P-medium. By @nikomatsakis

    I agree with @rprichard's take for the most part. I guess that `return as i32` ought to parse...weird as it is.

    triage: P-medium

Range expressions: discrepancies between rustc and parser-lalr (#28785)

  • Added I-nominated. By @huonw
  • Added P-medium. By @nikomatsakis

    triage: P-medium

    This is a backwards incompat issue, but feels like an edge case. Nonetheless we should definitely fix it!

Regression in type inference of casting in constants (#28801)

  • Added I-nominated. By @alexcrichton

    triage: I-nominated

  • Removed I-nominated. By @alexcrichton

How to extract static reference from Option? (#28839)

  • Added P-high. Set milestone: regression. By @nikomatsakis

    I'm not 100% sure what's going on. It seems to have to do with the coercion rules. I'm not aware that they changed recently, but I'll have to review the PRs.

    triage: P-high (regression)

Permalink to this digest