{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"InferKind::Ty(ty)"}]}
            InferKind::Ty(ty) => self.insert(inf_span, inf_id, Node::Ty(ty)),
        match kind {
            InferKind::Const(ct) => self.insert(inf_span, inf_id, Node::ConstArg(ct)),