Re: Remove useless casts to (void *) - Mailing list pgsql-hackers

From Álvaro Herrera
Subject Re: Remove useless casts to (void *)
Date
Msg-id 202511201542.ah4re2bnhhbe@alvherre.pgsql
Whole thread Raw
In response to Re: Remove useless casts to (void *)  (Aleksander Alekseev <aleksander@tigerdata.com>)
Responses Re: Remove useless casts to (void *)
List pgsql-hackers
On 2025-Nov-20, Aleksander Alekseev wrote:

> IMO what actually is important is for the code to be consistent.

IMO what is most important is that the code is correct.  Second most
important is that the code is performant.  The consistency is perhaps a
third priority, if that -- there may be other objectives that are also
more important than consistency.

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/



pgsql-hackers by date:

Previous
From: Melanie Plageman
Date:
Subject: Re: Trying out read streams in pgvector (an extension)
Next
From: Robert Haas
Date:
Subject: Re: pgsql: Teach DSM registry to ERROR if attaching to an uninitialized ent