Function region_str 

fn region_str<'tcx>(tcx: TyCtxt<'tcx>, region: Region<'tcx>) -> String