From 2c582c3aac703b288c15e22b2fca7d58bd69ca50 Mon Sep 17 00:00:00 2001 From: EnzeXing Date: Wed, 8 Nov 2023 16:35:35 -0500 Subject: [PATCH] Update failing minimized test --- tests/init-global/neg/i18628.scala | 2 +- tests/init-global/neg/i18628_3.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/init-global/neg/i18628.scala b/tests/init-global/neg/i18628.scala index a89e98e8bd97..798b3204338c 100644 --- a/tests/init-global/neg/i18628.scala +++ b/tests/init-global/neg/i18628.scala @@ -2,6 +2,6 @@ object Test: class Box(val x: Int) def recur(a: => Box, b: => Box): Int = - a.x + recur(a, b) + b.x // error + a.x + recur(a, b) + b.x // error // error recur(Box(1), Box(2)) \ No newline at end of file diff --git a/tests/init-global/neg/i18628_3.scala b/tests/init-global/neg/i18628_3.scala index 563d55b26f23..101674cffb6f 100644 --- a/tests/init-global/neg/i18628_3.scala +++ b/tests/init-global/neg/i18628_3.scala @@ -4,6 +4,6 @@ object Test: class Box(val x: Int) def recur(a: => Box, b: => Box): Int = - a.x + recur(a: @widen(5), b: @widen(5)) + b.x // error + a.x + recur(a: @widen(5), b: @widen(5)) + b.x // error // error recur(Box(1), Box(2)) \ No newline at end of file