async def process_did_save_request(self, parameters: lsp.DidSaveTextDocumentParameters) -> None:
    document_path = parameters.text_document.document_uri().to_file_path()
    if (document_path is None):
        raise json_rpc.InvalidRequestError(f'Document URI is not a file: {parameters.text_document.uri}')
    if (document_path not in self.state.opened_documents):
        return
    self.state.query_state.queries.put_nowait(TypesQuery(document_path))
    if (not self.pyre_manager.is_task_running()):
        (await self._try_restart_pyre_server())
async def process_did_save_request(self, parameters: lsp.DidSaveTextDocumentParameters) -> None:
    document_path = parameters.text_document.document_uri().to_file_path()
    if (document_path is None):
        raise json_rpc.InvalidRequestError(f'Document URI is not a file: {parameters.text_document.uri}')
    if (document_path not in self.state.opened_documents):
        return
    self.state.query_state.queries.put_nowait(TypesQuery(document_path))
    if (not self.pyre_manager.is_task_running()):
        (await self._try_restart_pyre_server())