{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"self.diagnostics_received"}]}
                            self.diagnostics_received = DiagnosticsReceived::Yes;
                        if self.diagnostics_received == DiagnosticsReceived::No {
                        }