Subteam report: compiler 2016-05-07
Highlights
Much of the meeting this week was devoted to discussing and planning for next week's development sprint -- the compiler team and active rustc contributors will be gathering in mountain view for a focused week of hacking and planning. We are aiming to push the ball forward on both MIR adoption and incremental compilation, as well as plotting out how to revamp the compiler to be more performant and flexible.
-- nmatsakis
Dashboard
RFC phase
- PR #1414: Add Rvalue-static-promotion RFC
- PR #1566: Procedural macros
- PR #1573: Supporting code generators with source maps and multiple source directories
- PR #1589: Best practices for bug fixes in the compiler
- FCP PR #1477: Generic atomic v2
- FCP PR #1478: translate undefined intrinsics to an unreachable and a lint
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 #29859: Cyclic traits allow arbitrary traits to be synthesized
- Issue #30829: Code no longer builds because of RFC 1214
- Issue #31299: Bogus error in beta and nightly: recursive type has infinite size
- Issue #31567:
Dropand leaking&mutreferences - Issue #31964: ICE on type mismatch: Index out of bounds
- Issue #33344: Obligation caching allows for unsound coinductive matching
- Issue #33364: ICE: OutputTypeParameterMismatch in failing to resolve associated type as tuple.
Needs decision
- Issue #29769: Mir: introduce overflow operations