Skip to content
This repository has been archived by the owner on Oct 9, 2018. It is now read-only.

Latest commit

 

History

History
139 lines (123 loc) · 6.57 KB

2015-09-18.md

File metadata and controls

139 lines (123 loc) · 6.57 KB

Subteam report: lang 2015-09-18

Highlights

We decided to accept a number of RFCs:

We decided to place the following RFCs into final comment period:

  • RFC #1228: Change the "placement new" syntax from in place { value } to place <- value. The discussion has centered about what uses for "placement new" will be most common; this syntax seems well-suited to uses that do not yield a result, such as vec <- elem, and less well-suited to those that do, such as let value = (arena <- value).
  • RFC #1245: Allow const fn functions to be unsafe.

Thanks!

--nmatsakis

Dashboard

RFC phase

  • PR #197: ManuallyDrop type gives precise control of dtors of inline data.
  • PR #243: Trait-based exception handling
  • PR #733: Amend macro future proofing RFC
  • PR #1062: Constants that depend on type parameters in generic code
  • PR #1129: IndexAssign: overloading the a[b] = c expression
  • PR #1148: Mutually exclusive traits
  • PR #1177: Anonymous/placeholder lifetime "'_".
  • PR #1180: Propose Interior<T> data-type, to allow moves out of the dropped value during the drop hook.
  • PR #1190: Style: function declarations
  • PR #1196: RFC for allowing eliding more type parameters.
  • PR #1210: RFC: impl specialization
  • PR #1228: Place left arrow syntax (place <- expr)
  • PR #1245: Amend #911 const-fn to allow unsafe const functions
  • PR #1248: Safe intrinsics RFC
  • PR #1258: Add macros to get the values of configuration flags
  • PR #1260: RFC: Allow a re-export for main
  • PR #1268: Allow overlapping implementations for marker traits
  • PR #1275: Support interrupt calling conventions
  • FCP PR #1199: SIMD groundwork
  • FCP PR #1224: Update the RFC process with sub-teams, amongst other things.
  • FCP PR #1237: clarify extreme operator behaviour
  • FCP PR #1238: Nonparametric dropck
  • FCP PR #1240: References into repr(packed) structs should be unsafe.

Implementation phase

High priority issues

  • Issue #24622: Mismatched assumptions for interaction between associated type and lifetime in trait
  • Issue #25658: In macros, $($x:expr),* fragments can be used to bypass future-proofing restrictions
  • Issue #25860: Implied bounds on nested references + variance = soundness hole
  • Issue #26438: Tracking issue for Adjust default object bounds (RFC 1156)
  • Issue #26739: In macros, expr followed by { is buggy
  • Issue #26775: 'pub extern crate' is accepted and behaves badly
  • Issue #27060: repr(packed) allows invalid unaligned loads
  • Issue #28450: Type alias can be used to bypass privacy check

Needs decision

  • Issue #26502: Do not warn about unused arguments in default methods
  • Issue #27499: Use different numbers of #s when expanding documentation comments
  • Issue #27972: Allow where clauses involving types which don't include a type parameter.
  • Issue #28160: Settle execution order uncertainty for +=