{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"self.definitions_untracked().def_key(def_id)"}]}
        self.definitions_untracked().def_key(def_id)
        // Accessing the DefKey is ok, since it is part of DefPathHash.
    }