lidavidm commented on PR #12891:
URL: https://github.com/apache/arrow/pull/12891#issuecomment-1103913103
Actually, right: I think we already do the right thing.
`(i32 < 10)` with the guarantee `((i32 >= 12) or is_null(i32,
{nan_is_null=false}))` simplifies to `invert(true_unless_null(i32))` which is
not satisfiable, so the row group will be pruned.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: github-unsubscr...@arrow.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
