From c5ce494949533e63b7e0ff353a6178c138b26d35 Mon Sep 17 00:00:00 2001 From: odersky Date: Fri, 26 Jan 2024 13:45:00 +0100 Subject: [PATCH 1/2] Alter check file This should give an error but doesn't. --- tests/neg/i19470.check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/neg/i19470.check b/tests/neg/i19470.check index 72f811f7ea3b..234993c5e3c1 100644 --- a/tests/neg/i19470.check +++ b/tests/neg/i19470.check @@ -4,4 +4,4 @@ | Found: Inv[? >: IO <: box IO^{f}] | Required: box Inv[box IO^?]^? | - | longer explanation available when compiling with `-explain` + | longer explanation available when compiling with `-explain` From 2972573a7a5277ef22729ec76d852d9215a121b6 Mon Sep 17 00:00:00 2001 From: odersky Date: Fri, 26 Jan 2024 13:52:12 +0100 Subject: [PATCH 2/2] Another bad test, this time add a spurious // error --- tests/neg/i19334.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/neg/i19334.scala b/tests/neg/i19334.scala index cd6af1872241..0e366d135d58 100644 --- a/tests/neg/i19334.scala +++ b/tests/neg/i19334.scala @@ -2,5 +2,5 @@ def foo[T](f: T): T = ??? @main def main = foo: - def f() = () + def f() = () // error !!! spurious error marker f(_) // error was OOM formatting TypeVar(TypeParamRef(T)) when offering explanations