Moving vertex to the X/Y intersection of two others
Snapping does work, but it has to be in 2 constrained moves, I think.


Snap set to 'Vertex' and 'Active'
G X, and then G Y to the relevant vertices, with the snap active.


The first move could be G G, a slide, no snap, as far as it will go.