c0430ad56a09 — Leonard Ritter a month ago
* implicit conversion for function pointer arguments passes unqualified type to `imply`
1 files changed, 1 insertions(+), 0 deletions(-)

M lib/scopes/core.sc
M lib/scopes/core.sc +1 -0
@@ 2756,6 2756,7 @@ let coerce-call-arguments =
                             let outarg =
                                 if (sc_type_compatible argT paramT) arg
                                 else
+                                    let paramT = ('strip-qualifiers paramT)
                                     ('tag `(imply arg paramT) ('anchor arg))
                             sc_call_append_argument outargs outarg
                         + i 1