julia

fix #31703, type intersection bug with chains of vars in invariant position

#31747

Merged