{"ast_node_type":"other","tokens":[{"end":109,"kind":"keyword","start":0,"text":"//"}]}
        // If (pattern) adjustments are active for this pattern, adjust the `PlaceWithHirId` correspondingly.
    {
        // `PlaceWithHirId`s are constructed differently from patterns. For example, in