{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"Some(def_id)"}]}
            Some(def_id) => (def_id.krate.as_u32(), def_id.index),
        let key = match self.reverse_translate_def_id(trait_def_id) {
            None => return &[],