async def process_close_request(self, parameters: lsp.DidCloseTextDocumentParameters) -> 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}')
    try:
        self.state.opened_documents.remove(document_path)
        self.state.query_state.path_to_location_type_lookup.pop(document_path, None)
        LOG.info(f'File closed: {document_path}')
    except KeyError:
        LOG.warning(f'Trying to close an un-opened file: {document_path}')
async def process_close_request(self, parameters: lsp.DidCloseTextDocumentParameters) -> 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}')
    try:
        self.state.opened_documents.remove(document_path)
        self.state.query_state.path_to_location_type_lookup.pop(document_path, None)
        LOG.info(f'File closed: {document_path}')
    except KeyError:
        LOG.warning(f'Trying to close an un-opened file: {document_path}')