From 00957b56e6fa1af4a42318838ab9ce644cfa6769 Mon Sep 17 00:00:00 2001
From: Dale Wijnand <dale.wijnand@gmail.com>
Date: Sat, 27 May 2023 18:25:01 +0100
Subject: [PATCH] fixup pos/i15926

---
 tests/pos/i15926.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/pos/i15926.scala b/tests/pos/i15926.scala
index 851ee4bf3743..1c6af688ef17 100644
--- a/tests/pos/i15926.scala
+++ b/tests/pos/i15926.scala
@@ -27,6 +27,6 @@ type Sum[X <: IntT, Y <: IntT] <: IntT = Y match
     case Minus[x] => NatDif[Y, x]
     case NatT => NatSum[X, Y]
 
-type Negate[A] = A match
+type Negate[A] <: IntT = A match
   case Zero    => Zero
-  case Succ[_] => Neg[A]
+  case Succ[_] => Minus[A]