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