Subteam report: lang 2016-04-08
Highlights
We decided to accept the following RFCs this week:
- RFC 1494: Amend RFC 550 with misc. follow set corrections
- RFC 1444: Untagged unions
- RFC 1513: Stabilize implementing panics as aborts
- RFC 1398: Allocators, take III
We also placed the following RFCs into FCP:
- RFC 1429: feature gate extern fn methods
- RFC 1440: allow drop types in statics/constants
- RFC 1399: add
#[repr(pack = N)]
-- nmatsakis
Dashboard
RFC phase
- PR #197:
ManuallyDroptype gives precise control of dtors of inline data. - PR #1180:
Propose
Interior<T>data-type, to allow moves out of the dropped value during the drop hook. - PR #1248: Safe intrinsics RFC
- PR #1296:
RFC: Add an
aliasattribute to #[link] and -l - PR #1305: Abstract output type parameters
- PR #1327: Dropck Eyepatch RFC.
- PR #1358: RFC: Add #[repr(align = "N")]
- PR #1379: Change thread local variables to only accept async-signal-safe types.
- PR #1406: Rfc: delegation of implementation
- PR #1408: Delayed resolution
- PR #1414: Add Rvalue-static-promotion RFC
- PR #1426: Placement in/box refinement
- PR #1431: Statically dispatched methods for trait objects with associated data
- PR #1449: Add language support for bitfields
- PR #1450: Types for enum variants
- PR #1459: Add a used attribute
- PR #1477: Generic atomic v2
- PR #1478: translate undefined intrinsics to an unreachable and a lint
- PR #1492:
RFC:
..in patterns - PR #1504: Add support for 128-bit integers
- PR #1506: Clarify the relationships between various kinds of structs and variants
- PR #1517: RFC: Exclude macros from importing with #[macro_use(not(...))]
- PR #1521: Copy clone semantics
- PR #1522:
Minimal
impl Trait - PR #1524: Custom Dynamically Sized Types for Rust
- PR #1546: Allow fields in traits that map to lvalues in impl'ing type
- PR #1548: Add global_asm! for module-level inline assembly
- PR #1558: RFC: Allow coercing non-capturing closures to function pointers.
- PR #1559: RFC: Allow all literals in attributes
- PR #1560: Changes to name resolution
- PR #1561: Macro naming and modularisation
- PR #1563: Add #![cfg_assert]
- PR #1566: Procedural macros
- PR #1575:
Add a
vismatcher tomacro_rules!. - FCP PR #1319: Amend RFC1228 with operator fixity and precedence
- FCP PR #1373: Remove some kinds of doc comments
- FCP PR #1399: RFC: Add #[repr(pack = "N")]
- FCP PR #1429: Feature gate extern fn methods
- FCP PR #1440: RFC - Allow Drop types in statics/const functions
Implementation phase
- Issue #13231: opt-in built-in bounds traits RFC tracker
- Issue #18469: Implement revised coercion rules
- Issue #22181:
boxandinexpressions (tracking issue for RFC 809) - Issue #27060: repr(packed) allows invalid unaligned loads
- Issue #27336: Tracking Issue for RFC 213: Default Type Parameter Fallback
- Issue #31434: Restrict use of constants in patterns (RFC 1445)
- Issue #31436:
?operator andcatchexpressions (RFC 243) - Issue #31844: Tracking issue for specialization (RFC 1210)
- Issue #32409:
Tracking issue for
pub(restricted)privacy (RFC #1422) - Issue #32836: Untagged unions (tracking issue for RFC 1444)
- Issue #32837: Panic as abort (tracking issue for RFC 1513)
- Issue #32838: Allocator traits (tracking issue for RFC 1398)
- FCP PR #27751:
Tracking issue for
rawstabilization - FCP PR #29638:
Tracking issue for
macro_reexportfeature
High priority issues
- Issue #25860: Implied bounds on nested references + variance = soundness hole
- Issue #28514: Private trait's methods reachable through a public subtrait
- Issue #29149: Lifetime bounds in Copy impls are ignored
- Issue #29859: Cyclic traits allow arbitrary traits to be synthesized
- Issue #30127: Desugared x.index(y) is not equivalent to x[y]
- Issue #31287: Pattern guard can consume value that is being matched
- Issue #31543:
Warn for type parameter defaults on
implblocks - Issue #32655: Macro expansion bypasses #[derive_*] stability checks.
Needs decision
- Issue #21232: borrow-checker allows partial reinit of struct that has been moved away, but no use of it.
- Issue #23818:
print!macro should flush stdout - Issue #30191: Can't provide non-overlapping impls with any type parameters, if a blanket impl exists
- Issue #32655: Macro expansion bypasses #[derive_*] stability checks.