Authentication-Results: mail-b.sr.ht; dkim=pass header.d=modprog.de header.i=@modprog.de
Received: from mout-p-103.mailbox.org (mout-p-103.mailbox.org [80.241.56.161])
	by mail-b.sr.ht (Postfix) with ESMTPS id 4AE7B11F051
	for <~ireas/public-inbox@lists.sr.ht>; Sat, 10 Dec 2022 14:01:18 +0000 (UTC)
Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:b231:465::1])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256)
	(No client certificate requested)
	by mout-p-103.mailbox.org (Postfix) with ESMTPS id 4NTqLM4JDvz9sRf
	for <~ireas/public-inbox@lists.sr.ht>; Sat, 10 Dec 2022 15:01:15 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=modprog.de; s=MBO0001;
	t=1670680875;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:mime-version:mime-version:content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding:
	 in-reply-to:in-reply-to:references:references;
	bh=W68CbF5283emro1ussF+OFMNSONBBoh9kbnkSEk1QgU=;
	b=LGXAeJu+EPBIJ+xP2sftWmoG8U//uYni1tG5Je/I1F2yR+hgLJ7JSuUF9KirkIQx9QwKay
	kJeAqce0QapQitBaItoL51gV3+8QHr3Yyz2XLy3lk5Au+bkL7SI59M9cp85arPGjww6QGq
	9X45w6U/2qGWux4EFhbOTSOd2TXfxsalcR3RQQr3EfSz1Z34KCvHyMKNnwRJSZ+3yr4sh7
	mcRPa+iInIWZlTqkA3ogYaLrGp5QjSd0FxD/168RvQ1XHb8GETQREWjkuA97AtrZNt+VAK
	pR5K3H7XdG4VtsQyWEe69NG4WVgU/YsH2ZWQOnhf1G9FYtLleT1SrFCWT3aJFQ==
Date: Sat, 10 Dec 2022 15:01:15 +0100 (CET)
From: me@modprog.de
To: "~ireas/public-inbox@lists.sr.ht" <~ireas/public-inbox@lists.sr.ht>
Message-ID: <1148767953.846176.1670680875389@office.mailbox.org>
In-Reply-To: <1250057684.846055.1670680648141@office.mailbox.org>
References: <1250057684.846055.1670680648141@office.mailbox.org>
Subject: [mege-rs] TryMerge trait
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Priority: 3
Importance: Normal
X-Rspamd-Queue-Id: 4NTqLM4JDvz9sRf

A trait that could e.g. be implemented for a HashMap, only succeeding when no values collide.