{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
            Some(self.untracked.definitions.read().local_def_path_hash_to_def_id(hash)?.to_def_id())
            Some(self.def_path_hash_to_def_id_extern(hash, stable_crate_id))