Lateral joins of the form:

select ... from x inner join lateral (... x.col ...) as y on ...

Have been supported for some time, but not the ability to push them to source.

A highly related scenario is to be able to push procedures used directly or in lateral joins with the rest of their plan:

select ... from x inner join lateral (call proc(.. x.col ...)) as y on ...