@gorgeous-fish-11040: Could you comment on this RB when you get a chance? https://rbcommons.com/s/twitter/r/2905 Its a change to allow export to do its own ivy resolution