Thanks Amit for reviewing.
Patch looks fine to me. By the way, why don't we just say "Can we skip
> scanning part_rel?" in the comment before the newly added call to
> PartConstraintImpliedByRelConstraint()? We don't need to repeat the
> explanation of what it does at the every place we call it.
>
I have changed the comment.
PFA.
Regards,
Jeevan Ladhe