Should it be the same shape, or a test for broadcastability here?  It's possible, if working with slices, for example, that one of these dimensions would be a scalar constant.