{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"}"}]}
                            }
                                bounds.push((a.to_string(), b.to_string(), None));
                        }