Add error for failure in type inference

src/code_gen/tape_machine.jl

@@ -212,13 +212,6 @@ function gen_function_body(tape::Tape; closures_size::Int)
 
         setdiff!(undefined_argument_symbols, ret_symbols_set)
 
-        #=Expr(
-            :macrocall,
-            Symbol("@closure"),
-            @__LINE__,
-            Expr( <closure...> )
-        )=#
-
         # combine to one closure call, including all the local inits and the actual call to the closure
         pushfirst!(closures, closure)
     end

src/task/compute.jl

@@ -81,6 +81,11 @@ function result_type(fc::FunctionCall, known_res_types::Dict{Symbol,Type})
             "failure during type inference: function call $fc is type unstable, possible return types: $types",
         )
     end
+    if isempty(types)
+        throw(
+            "failure during type inference: function call $fc has no return types, this is likely because no method matches the arguments",
+        )
+    end
 
     return types[1]
 end