2832. §[fpos.operations] strange requirement for P(i)

Section: 30.5.4.2 [fpos.operations] Status: New Submitter: Jens Maurer Opened: 2016-11-24 Last modified: 2017-02-02

Priority: 3

View other active issues in [fpos.operations].

View all other issues in [fpos.operations].

View all issues with New status.

Discussion:

This is from editorial issue #1031.

The first row in Table 112 "Position type requirements" talks about the expression P(i) and then has an assertion p == P(i). However, there are no constraints on p other than being of type P, so (on the face of it) this seems to require that operator== on P always returns true, which is non-sensical.

[2017-01-27 Telecon]

Priority 3

Proposed resolution: