Subteam report: compiler 2016-04-08
Highlights
Quiet week.
-- nmatsakis
Dashboard
RFC phase
- PR #1414: Add Rvalue-static-promotion RFC
- PR #1477: Generic atomic v2
- PR #1478: translate undefined intrinsics to an unreachable and a lint
- PR #1566: Procedural macros
- PR #1573: Supporting code generators with source maps and multiple source directories
- FCP PR #1399: RFC: Add #[repr(pack = "N")]
- FCP PR #1510: RFC: Add a new crate-type, rdylib
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 #31543:
Warn for type parameter defaults on
implblocks - Issue #31567:
Dropand leaking&mutreferences - Issue #31576: no_run doctests no longer verify lints
- Issue #32201: Zero-sized functions pointers no longer variadic-compatible
- Issue #32377: Unexpected tail in unsized_info_ty: usize for ty=process::Core<isize, isize, isize>
- Issue #32637:
Regression of the
typenumcrate on nightly - Issue #32655: Macro expansion bypasses #[derive_*] stability checks.
Needs decision
- Issue #29769: Mir: introduce overflow operations
- Issue #32655: Macro expansion bypasses #[derive_*] stability checks.