This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD status.

### 988. `Reflexivity` meaningless?

Section: 99 [concept.comparison] Status: NAD Submitter: Alisdair Meredith Opened: 2009-02-24 Last modified: 2016-01-28

Priority: Not Prioritized

View all other issues in [concept.comparison].

View all issues with NAD status.

Discussion:

99 [concept.comparison] p2:

Due to the subtle meaning of `==` inside axioms, the `Reflexivity` axiom does not do anything as written. It merely states that a value is substitutable with itself, rather than asserting a property of the `==` operator.

Original proposed resolution:

Change the definition of `Reflexivity` in 99 [concept.comparison]:

>     axiom Reflexivity(T a) { (a == a) == true; }

[ Post Summit: ]

> Alisdair: I was wrong.

> Recommend NAD.

Proposed resolution:

NAD.