Function replace_regions_with_unique_vars 

fn replace_regions_with_unique_vars(ty: &Ty) -> Ty

Replace all non-bound regions with a rty::ReVar assigning each a unique rty::RegionVid. This is used to have a unique identifier for each position such that we can infer a region substitution.