fixup pos/i15926

dwijnand · May 27, 2023 · 00957b5 · 00957b5
1 parent 42ac960
commit 00957b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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]