{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"};"}]}
            };
                ty::BoundVariableKind::Const => self.next_const_var(span).into(),
            args.push(arg);