{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"AllowReturnTypeNotation::No,"}]}
            AllowReturnTypeNotation::No,
            ParamMode::Explicit,
            itctx,