On 03/02/2025 12.17, Giuseppe D'Angelo via Core wrote:
> Hello,
>
> On 02/02/2025 21:53, Jens Maurer via Core wrote:
>> CWG2943 Discarding a void return value
>> https://cplusplus.github.io/CWG/issues/2943.html
>> Moved to Tentatively Ready; we'll decide in Hagenberg whether we feel we need EWG consent.
>
> This seems like something WG14 might want to look at (C also supports
> [[nodiscard]] on functions returning void), although I don't expect C to
> be affected by this issue all that much.

C does not have dependent return types, I think.

Jens