EWG-I in Kona:
Do we want to see this paper again?
SF F N A SA
2 5 5 0 0

P1401R1 Narrowing contextual conversions to bool (Andrzej Krzemieński)

EWG-I in Cologne
Leave the specification as it is: no narrowing is allowed.
SF F N A SA
1 2 3 8 1
Allow implicit conversion of int to bool in constexpr context.
SF F N A SA
2 6 2 4 2

P1401R2 Narrowing contextual conversions to bool (Andrzej Krzemieński)

EWG-I in Belfast

Forward the paper as presented to EWG?
unanimous consent

EWG Prague Wednesday afternoon:

Adopt P1401r2 as is?

Adopt P1401r2 but only allow integral (including enums) conversions

P1401R3 Narrowing contextual conversions to bool (Andrzej Krzemieński)

Seen at yesterday's EWG telecon.

POLL: After adding an example, P1401R3 is tentatively ready to go CWG.

P1401R4 Narrowing contextual conversions to bool (Andrzej Krzemieński)

EWG February 2021 polls:

Poll: Forward P1401R4 "Narrowing contextual conversions to bool" to Core.

Poll outcome: ✅ consensus.

Salient comments:

• Increases consistency.
• The decision this paper is undoing is yet another example of an attempt to move the language in a particular direction, but without a complete migration plan. These incomplete migrations make the language incoherent and frustrating.
• I wish we could go the other direction and disallow any conversions to bool everywhere (including from integer and pointer types, regardless of context, allowing only user-defined conversions), but there’s no way we’ll ever get there from here. C++ is a language that thinks non-boolean types have boolean properties, and we shouldn’t make exceptions to that based on context.

CWG 2021-04-12: Approved D1401R5 for plenary vote.

P1401R5 Narrowing contextual conversions to bool (Andrzej Krzemieński)

Adopted 2021-06.