IR.Type.Function is treated as Funtion builtin type

engine/runtime/src/main/scala/org/enso/compiler/codegen/IrToTruffle.scala

@@ -660,6 +660,8 @@ class IrToTruffle(
     def extractAscribedType(t: IR.Expression): List[Type] = t match {
       case u: IR.Type.Set.Union     => u.operands.flatMap(extractAscribedType)
       case p: IR.Application.Prefix => extractAscribedType(p.function)
+      case _: IR.Type.Function =>
+        List(context.getTopScope().getBuiltins().function())
       case t => {
         t.getMetadata(TypeNames) match {
           case Some(

test/Tests/src/Runtime/Ascribed_Parameters_Spec.enso

@@ -6,19 +6,19 @@ import Standard.Test.Extensions
 import Standard.Base.Errors.Common.Type_Error
 
 spec = Test.group "Function Ascribed Parameters" <|
-    t1 (f : Function) =
-        f "x"
+    t1 (f1 : Function) =
+        f1 "x"
 
-    t2 (f : (Text -> Any)) =
-        f "x"
+    t2 (f2 : (Text -> Any)) =
+        f2 "x"
 
-    t3 (f : (Integer | Function)) = case f of
+    t3 (f3 : (Integer | Function)) = case f3 of
         n : Integer -> n*7
-        _ -> f "x"
+        _ -> f3 "x"
 
-    t4 (f : (Integer | (Text -> Any))) = case f of
+    t4 (f4 : (Integer | (Text -> Any))) = case f4 of
         n : Integer -> n*7
-        _ -> f "x"
+        _ -> f4 "x"
 
     surround x = "|" + x + "|"
 
@@ -37,10 +37,10 @@ spec = Test.group "Function Ascribed Parameters" <|
         (t4 surround) . should_equal "|x|"
 
     Test.specify "t1 with 42 type check" <|
-        (t1 6) . should_equal "|x|"
+        with_type_error (t1 6) . should_fail_with Type_Error
 
     Test.specify "t2 with 42 type check" <|
-        (t2 6) . should_equal "|x|"
+        with_type_error (t2 6) . should_fail_with Type_Error
 
     Test.specify "t3 with 42 type check" <|
         (t3 6) . should_equal 42