{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"tcx.def_span(param.def_id),"}]}
                    tcx.def_span(param.def_id),
                Lifetime { .. } => span_bug!(
                    "lifetime params are expected to be filtered by `ty_const_params_of`"