spec anon function parameter type inference for #617