Radek Szymczyszyn

This PR has been inactive for a long time and significant work has happened on maps in the meantime. I'm closing it. Please let me know if it needs revisiting.

Gradualizer is now one of the diagnostic tools shipped with [Erlang Language Server](https://github.com/erlang-ls/erlang_ls) (though off by default) and that's the preferred method of using it with different editors.

I'm closing this because of #458 already being merged.

Having run `mix gradient` on ElixirLS I get some warnings, but Gradient and Gradualizer do not crash. > `update_map_type` is handling an expression of the form `Map#{update := fields}` and...

Thanks, @RudolfMan! Well, I can only hope this PR is heard as another voice in the case 🤞

This is fixed by #461, closing it now.

I'm closing this due to a long period of inactivity. If there's any will to continue work on this PR we can always reopen it.

> Don't we want a spec like this for it? > > ```erlang > -spec keydelete(Key, N, [A]) -> [A] when A :: tuple(). > ``` Which would specifically make...

My thinking, backed by https://www.pls-lab.org/en/Higher-rank_polymorphism, in response to: > I get it is harder when when you have higher rank types and things like that, but we don't have such...

For the record, this is finally solved with changes that enabled #521. Since that PR, Gradualizer can self-check with no errors reported. It's checked in CI / GH Actions for...