{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"stashed_diagnostics.contains_key(&span.with_parent(None))"}]}
            stashed_diagnostics.contains_key(&span.with_parent(None))
        {
        } else {