{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"PlaceMention,"}]}
    PlaceMention,
    /// so it must be considered as a non-mutating use.
    /// Used as base for another place, e.g., `x` in `x.y`. Will not mutate the place.