Pass the PlaceElem::Index local to visit_local#71013
Merged
bors merged 1 commit intorust-lang:masterfrom jonas-schievink:visit-projectionApr 13, 2020
+39-74
PlaceElem::Index local to visit_local#71013