It was the case that `location` wasn't always a `Location` previously, but we just merged a largish refactor that makes the internal representation of these sorts of keys consistent, so you can rely on it actually being a `Location` all the time, now.