Quoting Tom Lane <>:
> Yeah, the whole thing is only a heuristic anyway. I've been coming
> around to the view that relation membership shouldn't matter, because
> of cases like
> WHERE a.x > b.y AND a.x < 42
> which surely should be taken as a range constraint.
Out of curiosity, will the planner induce "b.y < 42" out of this?
"Dreams come true, not free."