Skip to content

Commit 00957b5

Browse files
committed
fixup pos/i15926
1 parent 42ac960 commit 00957b5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

tests/pos/i15926.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,6 @@ type Sum[X <: IntT, Y <: IntT] <: IntT = Y match
2727
case Minus[x] => NatDif[Y, x]
2828
case NatT => NatSum[X, Y]
2929

30-
type Negate[A] = A match
30+
type Negate[A] <: IntT = A match
3131
case Zero => Zero
32-
case Succ[_] => Neg[A]
32+
case Succ[_] => Minus[A]

0 commit comments

Comments
 (0)