{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// If `kind` is an integer inference variable this will still return a ty infer var.
    /// Returns a ty infer or a const infer depending on whether `kind` is a `Ty` or `Const`.
    pub(super) fn next_term_infer_of_kind(&mut self, term: I::Term) -> I::Term {