{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"bound_vars.push(bound_var);"}]}
                    bound_vars.push(bound_var);
                    let bound_var = ty::BoundVariableKind::Const;
                    ty::Const::new_bound(