{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"tys.binders.iter(Interner).map(|it|"}]}
        tys.binders.iter(Interner).map(|it| match &it.kind {
        Interner,
            chalk_ir::VariableKind::Ty(_) => table.new_type_var().cast(Interner),