async def _write_status(output_channel: connection.TextWriter, message: str, short_message: Optional[str]=None, level: lsp.MessageType=lsp.MessageType.INFO) -> None:
    (await lsp.write_json_rpc(output_channel, json_rpc.Request(id=0, method='window/showStatus', parameters=json_rpc.ByNameParameters({'type': int(level), 'message': message, **({} if (short_message is None) else {'shortMessage': short_message})}))))
async def _write_status(output_channel: connection.TextWriter, message: str, short_message: Optional[str]=None, level: lsp.MessageType=lsp.MessageType.INFO) -> None:
    (await lsp.write_json_rpc(output_channel, json_rpc.Request(id=0, method='window/showStatus', parameters=json_rpc.ByNameParameters({'type': int(level), 'message': message, **({} if (short_message is None) else {'shortMessage': short_message})}))))