{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"const_param.def_id,"}]}
                        const_param.def_id,
                    ty::UserType::new(ty::UserTypeKind::TypeOf(
                        UserArgs {