Function shift_region

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