Depends on D143093
I think we answered this in the negative?
PLoc is a confusing name for something that interacts with but is not a PresumedLoc
I'd prefer avoiding auto here, too
just make it a function? it captures nothing