Hi, On 2025-06-05 15:50:48 -0400, Tom Lane wrote: > Andres Freund <and...@anarazel.de> writes: > >> I've been wondering about adding wrapping something like that in a > >> pg_assume(expr) or such. > > > I've been once more annoyed by this warning. Here's a prototype for the > > approach outlined above. > > Looks plausible by eyeball. I did notice a typo in the comment: > > + * pg_assume(expr) stats that we assume `expr` to evaluate to true. In assert > > s/stats/states/, I think you meant.
Thanks. I pushed it with that tweak and a bit of minor comment burnishing. Glad to see the last of that warning. Greetings, Andres Freund
