widen if either is backedge