fix(sem): crash with procedure with error used as argument

compiler/sem/semexprs.nim

@@ -3561,6 +3561,10 @@ proc semExpr(c: PContext, n: PNode, flags: TExprFlags = {}): PNode =
       result = symChoice(c, n, s, scClosed)
       if result.kind == nkSym:
         markIndirect(c, result.sym)
+        # the symbol was alrady marked as used, don't mark it as such again
+        # (via ``semSym``)
+        if result.sym.ast.isError:
+          result = c.config.newError(result, PAstDiag(kind: adWrappedSymError))
     of skEnumField:
       if overloadableEnums in c.features:
         result = enumFieldSymChoice(c, n, s)

compiler/sem/sigmatch.nim

@@ -2602,9 +2602,9 @@ proc paramTypesMatch*(
 
     else:
       # only one valid interpretation found, executing argument match
-      markUsed(candidate.c, arg.info, arg[bestArg].sym)
+      let realArg = candidate.c.semExpr(c, arg[bestArg], {})
       result = paramTypesMatchAux(
-        candidate, formal, arg[bestArg].typ, arg[bestArg])
+        candidate, formal, realArg.typ, realArg)
 
   when false:
     if candidate.calleeSym != nil and

tests/error_propagation/tgeneric_proc_sym_as_argument.nim

@@ -0,0 +1,15 @@
+discard """
+  description: '''
+    Ensure that generic procedure symbols are wrapped in an error, when used
+    in an argument context
+  '''
+  action: reject
+  matrix: "--errorMax:100"
+"""
+
+proc call(p: proc(x: int)) = discard
+
+proc withError[T](x: T) =
+  missing
+
+call(withError) # <- this crashed the compiler

tests/error_propagation/toverloaded_proc_sym_as_argument.nim

@@ -0,0 +1,18 @@
+discard """
+  description: '''
+    Ensure that overloaded procedure symbols are wrapped in an error, when
+    used in an argument context
+  '''
+  action: reject
+  matrix: "--errorMax:100"
+"""
+
+proc call(p: proc()) = discard
+
+proc withError() =
+  missing
+
+proc withError(a: int) = # <- this overload is not picked below
+  discard
+
+call(withError) # <- this crashed the compiler

tests/error_propagation/tproc_sym_as_argument.nim

@@ -0,0 +1,15 @@
+discard """
+  description: '''
+    Ensure that procedure symbols are wrapped in an error, when used in an
+    argument context
+  '''
+  action: reject
+  matrix: "--errorMax:100"
+"""
+
+proc call(p: proc()) = discard
+
+proc withError() =
+  missing
+
+call(withError) # <- this crashed the compiler