julia

a9d3f7bb - Propagate var's offset to its `ub` to avoid invalid bounds setting. (#46603)

Propagate var's offset to its `ub` to avoid invalid bounds setting. (#46603) * Propagate `x`'s offset to `xub` during typevar intersection. If x has offset, its ub should not have offset. We should propagate the offset to xub to make sure it's has correct lb/ub. * add test for offset propagation