#957: Argument names must match when passing a function by value

Development
1

I'd love to see this fixed, I believe there a other situations as well
that trigger a similar error unnecessarily. When type-checking
functions, parameter names should be ignored.

Robin