2395. [fund.ts] Preconditions: is defined nowhere

Section: 99 [fund.ts::func.wrap.func], 99 [fund.ts::memory.resource.priv], 99 [fund.ts::memory.polymorphic.allocator.ctor], 99 [fund.ts::memory.polymorphic.allocator.mem], 99 [fund.ts::memory.resource.pool.ctor], 99 [fund.ts::memory.resource.monotonic.buffer.ctor] Status: TS Submitter: Zhihao Yuan Opened: 2014-06-09 Last modified: 2017-07-30

Priority: 2

View all issues with TS status.

Discussion:

Addresses: fund.ts

This element has been introduced by N3916, but the standard does not define it. The standard defines Requires: to indicate a precondition (20.4.1.4 [structure.specifications] p3).

Proposed wording:

Substitute all Preconditions: with Requires:.

[2013-06-21 Rapperswil]

Accept for Fundamentals TS Working Paper

Proposed resolution:

This wording is relative to N4023.

  1. Substitute all Preconditions: with Requires:.