{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"binder.push(crate::wrap_empty_binders(sized_bound));"}]}
                        binder.push(crate::wrap_empty_binders(sized_bound));
                        });
                    }