Triage digest: Tue Apr 05 2016


#1

Nominated (I-nominated) issues

Tracking issue for stabilizing randomness (#27703)

Tracking issue for DNS in std::net (#27705)

Tracking issue for string patterns (#27721)

Miscompilation of mutable reference to const temporary (#31234)

  • Added I-nominated. By @sfackler

no_run doctests no longer verify lints (#31576)

Tracking issue for compare_exchange (#31767)

specialization + overflow => generics that produce trans errors depending on type parameters (#32498)

  • Added P-high. By @pnkfelix

    triage: P-high to investigate

  • Added I-nominated. By @aturon

    So, I see the first example as a case that we should ultimately try to catch and give a better error for (as we do for more direct circular structs). But I don't think it's terribly urgent, personally.

    For the second case: I suspect that this is fundamental. That is, the proof search for traits fundamentally relies on an overflow cutoff to avoid infinite loops, and the fact that specialization lets you dispatch on types will always mean that you can selectively create these overflowing situations. I see the “blame” here as mostly the fact that the trait system can fail due to overflow, but that’s inevitable in having as powerful of a system as we do.

    I’m going to renominate for triage of the bug listed in the top comment, which we could try to provide a better error for. I suggest that this is P-low, however.

    triage: I-nominated

String::truncate() and Vec::truncate() are inconsistent if new_len > current length (#32717)

  • Added I-nominated. By @alexcrichton

Beta-nominated issues

Some fixes for error recovery in the compiler (#32435, closed)

Prevent bumping the parser past the EOF. (#32479, closed)

Gate parser recovery via debugflag (#32494, closed)

Remaining issues

floating point to floating point casts have undefined behaviour (#15536)

  • Added P-medium. By @nrc
  • Removed P-high. By @nrc

Unexpected tail in unsized_info_ty: usize for ty=process::Core (#32377)

  • Added P-high. By @pnkfelix

    triage: P-high

`unexpected panic` when compiling the `lalrpop` crate (#32530)

  • Added P-high. By @pnkfelix

    triage: P-high

Regression of the `typenum` crate on nightly (#32637)

  • Added I-nominated. By @alexcrichton
  • Added P-high. By @pnkfelix

    triage: P-high

Regression with type parameter shadowing (#32639)

  • Added I-nominated. By @alexcrichton

include! bypasses #[derive_*] stability checks. (#32655)

  • Added I-nominated. By @eddyb
  • Added P-high. By @pnkfelix
  • Removed I-nominated. By @pnkfelix
  • Added I-needs-decision. By @eddyb

A soundness bug in std::fs (#32670)

  • Added I-nominated. By @nagisa

Permalink to this digest