Title
Immediate-escalating defaulted comparison
Status
tentatively ready
Section
7.7 [expr.const]
Submitter
Jason Merrill

Created on 2026-01-25.00:00:00 last changed 5 days ago

Messages

Date: 2026-02-06.22:00:31

Proposed resolution (approved by CWG 2026-02-06):

Change in 7.7 [expr.const] bullet 25.2 as follows:

An immediate-escalating function is
  • the call operator of a lambda that is not declared with the consteval specifier,
  • a non-user-provided defaulted special member function that is not declared with the consteval specifier, or
  • a function that is not a prospective destructor and that results from the instantiation of a templated entity defined with the constexpr specifier.
...
Date: 2026-01-25.00:00:00

(From submission #837.)

Defaulted comparison operators should also be immediate-escalating.

History
Date User Action Args
2026-02-06 22:00:31adminsetstatus: open -> tentatively ready
2026-01-25 17:09:42adminsetmessages: + msg8467
2026-01-25 00:00:00admincreate