Function shift_region 

pub fn shift_region<I: Interner>(
    cx: I,
    region: I::Region,
    amount: u32,
) -> I::Region