Issue 2829: LWG 2740 leaves behind vacuous words

Title: LWG 2740 leaves behind vacuous words
Status: open
Section: [optional.observe]
Submitter: Richard Smith

Created on 2016-11-24.00:00:00 last changed 55 months ago

Messages

msg11331 (view)

Date: 2020-06-08.00:00:00

[ 2020-06-08 Nina Dinka Ranns comments ]

The revised wording provided by LWG 2833 should resolve this issue as well.

msg9907 (view)

Date: 2018-06-12.04:35:59

[ 2018-06 Rapperswil Thursday issues processing ]

Status to Open; also see [expr.const]/6 and 2289.

msg8750 (view)

Date: 2017-02-02.00:41:18

[ Issues Telecon 16-Dec-2016 ]

Priority 2

Jonathan notes: Although Richard is correct, I suggest we don't strike the paragraph, so that we remember to fix it as part of 2833, when we know how to say this properly.

msg8707 (view)

Date: 2016-11-24.00:00:00

After applying LWG 2740, we have:

constexpr const T* operator->() const;
constexpr T* operator->();
-1- Requires: *this contains a value.
-2- Returns: val.
-3- Throws: Nothing.
-4- Remarks: These functions shall be constexpr functions.

Paragraph 4 is completely superfluous. We already said these functions were constexpr in the synopsis. Can it be removed?

History
Date	User	Action	Args
2020-06-13 16:37:23	admin	set	messages: + msg11331
2018-06-12 04:35:59	admin	set	messages: + msg9907
2018-06-12 04:35:59	admin	set	status: new -> open
2016-12-16 20:56:38	admin	set	messages: + msg8750
2016-11-24 00:00:00	admin	create