Vars hidden within a RelabelType would not be detected as compatible
with some functional dependency. Repair by properly ignoring the
RelabelType.
Author: David Rowley
Reviewed-by: Tomas Vondra
Discussion: https://postgr.es/m/CAKJS1f-y-UEy=rsBXynBOgiW1fKMr_LVoYSGL9QOc36mLEC-ww@mail.gmail.com
var = (varonleft) ? linitial(expr->args) : lsecond(expr->args);
+ /*
+ * We may ignore any RelabelType node above the operand. (There won't
+ * be more than one, since eval_const_expressions() has been applied
+ * already.)
+ */
+ if (IsA(var, RelabelType))
+ var = (Var *) ((RelabelType *) var)->arg;
+
/* We only support plain Vars for now */
if (!IsA(var, Var))
return false;