Radek Szymczyszyn

This seems related to #8 and #9. At least #8 might need to be solved first.

This does not seem to be connected with #72. This means it's likely connected with multiple spec clauses on the function in question, that is josefs/gradualizer#410. This is confirmed by...

Indeed, I think @yordis's example raises a false positive. Alas, with macros generating code it might be hard to avoid all of these without fixing all macros, that's why we'll...

@yordis No progress on the fix yet. Alas, we have very limited bandwidth :/ However, you can mute this warning by using `no_ex_check` option or `--no-ex-check` command-line flag.

@yordis Could you confirm if #102 fixed this for you?

@yordis thanks, I'm reopening then.

See https://github.com/elixir-lsp/elixir-ls/issues/770

Some notes on hypothetical Gradient integration with ElixirLS. ElixirLS comes with a Dialyzer integration - it's a natural starting point: ``` 10:45:00 erszcz @ x6 : ~/work/elixir-lsp/elixir-ls (gradient *%) $...

There are two remaining FIXMEs in the linked PR, let me go over them one by one. ```elixir # FIXME: It seems the second attempt/1 clause cannot be reached. @spec...

That would be a good enhancement, indeed :+1: Otherwise, I think the relevant part of the expression could be underlined/highlighted to make it unambiguous which part is expected to have...