{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
        ) -> Lifetime {
            _outer_binder: DebruijnIndex,
            // fall back all lifetimes to 'error -- currently we don't deal