Hi,When I was looking at src/backend/optimizer/util/restrictinfo.c, I found atypo in one of the comments.
I also took the chance to simplify the code a little bit.
Please take a look at the patch.
Thanks