We do have it as part of an AQE rule, but AQE hasn’t yet been a feature that we’ve focused on yet!
The work interestingly isn’t in the IO side — our IO already does a lot of good filter push down. The work is more about an engine knowing (using statistics or sampling) which side of a joint it wants to materialize first, and then using the materialized data to construct a filter to push down!
@Sammy Sidhu might be able to add more here