We've seen this before in EWG, but looks like EWG is short on time for KOA. Tagging for EWGI help.

We want a feature to drive deduction to deducing to a specific type.
SF F N A SA
1 6 2 0 0
We’d like to hear Library implementor feedback.
SF F N A SA
1 6 2 0 0
We’d like implementation experience.
SF F N A SA
3 2 4 1 0
(A vote: don’t think experience is necessary right now)
We’re generally favorable to this paper, we have feedback and EWG can see it again.
SF F N A SA
6 5 0 0 0

Updated draft d0847r3 on EWG wiki.

EWG saw this: http://wiki.edg.com/bin/view/Wg21belfast/P0847-EWG

Do we encourage further work on P0847, specially wording and implementation?

P0847R4 Deducing this (Gašper Ažman, Simon Brand, Ben Deane, Barry Revzin)

P0847R5 Deducing this (Barry Revzin, Gašper Ažman, Sy Brand, Ben Deane)

Discussed in today's EWG telecon.

POLL: A paper separate from P0847r6 (from potentially separate authors) should explore treating the explicit this parameter as implicit.

POLL: P0847r6 should explore the usage of static for this-deducing functions, and consider virtual for this-deducing functions.

POLL: P0847r6 should allow taking the address of &f with unqualified f.

POLL: P0847r6 deducing this is tentatively ready to be voted on through EWG electronic polling (assuming my favored outcome to the above poll is achieved).

Please also mention packs and coroutines in the updated paper.

P0847R6 Deducing this (Barry Revzin, Gašper Ažman, Sy Brand, Ben Deane)

The two requested updates were done, Barry will follow up on the mailing list, we can poll this next round.

This was voted on in the EWG May 2021 polling period, and received consensus.

Poll: Forward P0847r6 "Deducing this" to Core for C++23.

2021-07-12: CWG teleconference: Approved for plenary vote.

P0847R7 Deducing this (Barry Revzin, Gašper Ažman, Sy Brand, Ben Deane)

Adopted 2021-10.