{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"ty::BoundVariableKind::Region(ty::BoundRegionKind::Named(def_id))"}]}
                ty::BoundVariableKind::Region(ty::BoundRegionKind::Named(def_id))
            match arg {
                | ty::BoundVariableKind::Ty(ty::BoundTyKind::Param(def_id)) => {