From c15067b9428c3e4a2f7d206eef5226a26aaa60f2 Mon Sep 17 00:00:00 2001
From: Lilleman auf Larv <lilleman@larvit.se>
Date: Tue, 29 Sep 2026 09:57:13 +0200
Subject: [PATCH] Assert disagreementFix takes the two kinds and the proof, and
 refuses two text items

---
 datatype_test.go | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/datatype_test.go b/datatype_test.go
index 95206ee..b6ceb2b 100644
--- a/datatype_test.go
+++ b/datatype_test.go
@@ -221,17 +221,6 @@ func TestNullColumn(t *testing.T) {
 	}
 }
 
-func TestDisagreementsHoldEveryKeyDisagreementBuilds(t *testing.T) {
-	kinds := []itemKind{kindText, kindReads, kindDeclares}
-	for _, fix := range kinds {
-		for _, other := range kinds[fix:] {
-			if other == kindText {
-				continue
-			}
-			for _, proven := range []bool{false, true} {
-				disagreementFix(disagreementKey{fix, other, proven})
-			}
-		}
-	}
-	mustPanic(t, "two text items", func() { disagreementFix(disagreementKey{kindText, kindText, false}) })
+func TestDisagreementFixRefusesTwoTextItems(t *testing.T) {
+	mustPanic(t, "two text items", func() { disagreementFix(kindText, kindText, false) })
 }