From ea9e4d34e8a6dac5c685afad53744727a78c3114 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Fri, 5 Apr 2024 00:12:00 +0200
Subject: [PATCH] Revert "Commented out type incorrect asserts"

This reverts commit 259670cbbfb3d888707e0b5234b5bc6fa9f58440.
---
 .../rascalmpl/library/lang/rascal/tests/basic/Functions.rsc   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/org/rascalmpl/library/lang/rascal/tests/basic/Functions.rsc b/src/org/rascalmpl/library/lang/rascal/tests/basic/Functions.rsc
index 47423ab6655..eff38a9960f 100644
--- a/src/org/rascalmpl/library/lang/rascal/tests/basic/Functions.rsc
+++ b/src/org/rascalmpl/library/lang/rascal/tests/basic/Functions.rsc
@@ -303,11 +303,11 @@ test bool selfApplyCurry() {
 
     func = curry(curry, addition);
 
-    //assert int(int)(int) _ := func;
+    assert int(int)(int) _ := func;
 
     func2 = func(1);
 
-    //assert int(int) _ := func2;
+    assert int(int) _ := func2;
 
     return func2(1) == 2;
 }