{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"num_binders:"}]}
                    num_binders: 0, // FIXME lower `for<'a> fn()` correctly
                TyKind::Function(FnPointer {
                    sig: FnSig {