{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"kind:"}]}
                    kind: ty::BoundRegionKind::Named(def_id.to_def_id()),
                    var: ty::BoundVar::from_u32(index),
                };