{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"b.into_value_and_skipped_binders().0"}]}
                        b.into_value_and_skipped_binders().0
                    |b: chalk_ir::Binders<chalk_ir::WhereClause<Interner>>| {
                    },