{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"ty::Param(param_ty)"}]}
            ty::Param(param_ty) => TyKind::Param(param_ty.stable(tables, cx)),
            }
            ty::Bound(debruijn_idx, bound_ty) => {