This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-12-20

3103. Corresponding members and by-value object parameters

(From submission #776.)

Following up on the discussion of issue 2555, this example is ill-formed because the two declarations correspond:

  struct K {
   void f(this K);
   void f();
  };

However, this rather similar situation is not ill-formed; the two declarations are considered not to correspond:

  struct OK {
   void f(this OK);
   void f() &;
  };

Both situations should be treated the same (and should be ill-formed).