{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"[],"}]}
                    [],
                    b,
                    Adjust::Pointer(PointerCoercion::ClosureFnPointer(safety)),