Skip to content

CWG3153 [expr.const] immediate-escalating defaulted comparison #837

Description

@jicama

Full name of submitter (unless configured in github; will be published with the issue):

Reference (section label): [expr.const]

Link to reflector thread (if any):

Issue description:

25.2 includes in the category of immediate-escalating functions "a defaulted special member function that is not declared with the consteval specifier". This omits defaulted comparison operators, which presumably should also be immediate-escalating, and all the implementations seem to agree (https://godbolt.org/z/dG5sxbacP).

Suggested resolution:

Remove "special member" so that any defaulted function is included.

Activity

  1. jensmaurer commented on Jan 25, 2026

    @jensmaurer
    Member
  2. changed the title [-][expr.const] immediate-escalating defaulted comparison[/-] [+]CWG3153 const] immediate-escalating defaulted comparison[/+] on Jan 25, 2026
  3. changed the title [-]CWG3153 const] immediate-escalating defaulted comparison[/-] [+]CWG3153 [expr.const] immediate-escalating defaulted comparison[/+] on Jan 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions