async def process_open_request(self, parameters: lsp.DidOpenTextDocumentParameters) -> 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}')
    self.state.opened_documents.add(document_path)
    self.state.query_state.queries.put_nowait(TypesQuery(document_path))
    LOG.info(f'File opened: {document_path}')
    if (not self.pyre_manager.is_task_running()):
        (await self._try_restart_pyre_server())
async def process_open_request(self, parameters: lsp.DidOpenTextDocumentParameters) -> 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}')
    self.state.opened_documents.add(document_path)
    self.state.query_state.queries.put_nowait(TypesQuery(document_path))
    LOG.info(f'File opened: {document_path}')
    if (not self.pyre_manager.is_task_running()):
        (await self._try_restart_pyre_server())