Function check_projections 

fn check_projections(place: Place<'_>) -> bool

Since we are replacing all uses of a local with another place, we need to ensure that the projections on that place are stable no matter where it is used in the body. Additional this local may be used in debuginfo, so ensure that the projections are compatible with usage in debuginfo.