The pattern %{...} on line ... doesn't have the type any()

[erszcz]

Originally posted by @simonprev in #37 (comment):

I have many reports like:

The pattern %{context: %{current_user: current_user}} on line 57 doesn't have the type any()

It seems that when we use pattern matching on a function without a @spec (like every private functions), the default any() raises an error for our "typed" map in the pattern.

I thought that the pattern match would "define" a typing like in TypeScript:

[erszcz]

Thanks for the original report, @simonprev! 🙇

For the record, this was also reported in #51. It's fixed with #56.