{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"polonius_output:"}]}
        polonius_output: polonius_output.as_deref(),
        diags_buffer,
        polonius_diagnostics: polonius_diagnostics.as_ref(),