From 735c6918ccca46287bce9df2be40ff3664ad956e Mon Sep 17 00:00:00 2001 From: Jaroslav Tulach Date: Wed, 23 Aug 2023 11:30:18 +0200 Subject: [PATCH] Additional test also with over-saturated argument --- test/Tests/src/Semantic/Error_Spec.enso | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/Tests/src/Semantic/Error_Spec.enso b/test/Tests/src/Semantic/Error_Spec.enso index d2389362cb9b..d9adb77ab1fa 100644 --- a/test/Tests/src/Semantic/Error_Spec.enso +++ b/test/Tests/src/Semantic/Error_Spec.enso @@ -361,4 +361,9 @@ spec = r . should_fail_with Type_Error r.to_display_text.contains "Try to apply x, y arguments" . should_be_true + Test.specify "try to apply two arguments with over-saturated" <| + r = Panic.recover Type_Error <| neg (my_func z=10) + r . should_fail_with Type_Error + r.to_display_text.contains "Try to apply x, y arguments" . should_be_true + main = Test_Suite.run_main spec