Stephen Frost <sfrost(at)snowman(dot)net> writes:
> Perhaps I'm missing something obvious, but isn't it a bit redundant to
> have both a Recheck condition (which is the predicate of the index) and
> a Filter condition (which is the user's predicate) when we've already
> decided that the user's predicate must result in a subset of the
> index's, as, otherwise, we wouldn't be able to use the index in the
> first place?
Yeah, I think this is just something that the planner doesn't see fit
to expend cycles on detecting.
regards, tom lane