{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            ty::BoundVariableKind::Ty(ty::BoundTyKind::Param(param.def_id))
        ty::GenericParamDefKind::Const { .. } => ty::BoundVariableKind::Const,