{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"self.ascribe_user_type("}]}
                self.ascribe_user_type(
                let const_param = tcx.generics_of(body_def_id).const_param(p, tcx);
                    constant.const_.ty(),