{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"Term::Ty(ty)"}]}
                    Term::Ty(ty) => self.lower_ty(ty, itctx).into(),
                let term = match term {
                    Term::Const(c) => self.lower_anon_const_to_const_arg(c).into(),