Subteam report: compiler 2015-12-18
Highlights
The meeting was mostly triage, but some recent PRs of note include:
- further progress on MIR: #30337, #29907
- a big overhaul of the privacy rules which fixed a large number of bugs: [#29773]
- a preliminary type ascription PR: #30184
-- nmatsakis
Dashboard
RFC phase
- PR #1292: i10n
- PR #1317: Changes to the compiler to support IDEs
- PR #1399: RFC: Add #[repr(pack = "N")]
- FCP PR #1361: RFC: Improve Cargo target-specific dependencies
Implementation phase
- Issue #5016: implement "dynamic drop" semantics using flags on the stack rather than zeroing
- Issue #12634: Replace various intrinsic wrappers with intrinsic reexports
- Issue #15023: Better temporary lifetimes (tracking issue for RFC 66)
- Issue #15287: Implement Pattern Guards with Bind-By-Move
- Issue #20561: Tracking issue for Consistent no-prelude attribute (RFC 501)
- Issue #27060: repr(packed) allows invalid unaligned loads
High priority issues
- Issue #29149: Lifetime bounds in Copy impls are ignored
- Issue #29485:
Unwinding through
fn()references across crates causes the behavior to depend on the optimization level - Issue #29857: ICE : ty_is_local invoked on unexpected type: [type error]
- Issue #29859: Cyclic traits allow arbitrary traits to be synthesized
- Issue #30123: Regression in type parameter defaults in types and impls
- Issue #30438: Segfault in safe code caused by a use after drop when using index sugar
Needs decision
- Issue #29573: Mir: remove Panic terminator and instead just call suitable lang item
- Issue #29767: Mir: Refactor calls to permit calls that cannot panic and to better accommodate calls that always panic
- Issue #29769: Mir: introduce overflow operations