Hi,
On 2025-07-10 16:24:08 +0200, Benjamin Coutu wrote:
> I noticed that Andres recently introduced pg_assume into the codebase -
> great addition!
>
> That got me thinking: some projects (like PHP) map the ASSERT macro to
> ASSUME in non-assert builds. The rationale is that ASSERT typically
> exp
Benjamin Coutu writes:
> That got me thinking: some projects (like PHP) map the ASSERT macro to ASSUME
> in non-assert builds. The rationale is that ASSERT typically expresses a
> tautology, something the programmer believes to be always true. So in builds
> where assertions are compiled out, w
Hello,
I noticed that Andres recently introduced pg_assume into the codebase - great
addition!
That got me thinking: some projects (like PHP) map the ASSERT macro to ASSUME
in non-assert builds. The rationale is that ASSERT typically expresses a
tautology, something the programmer believes to
