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