No clause of gradualizer_lib:pick_value(any())

josefs / Gradualizer

A Gradual type system for Erlang

MIT License

609 stars 35 forks source link

No clause of gradualizer_lib:pick_value(any()) #537

Open erszcz opened 1 year ago

erszcz commented 1 year ago

Clone of https://github.com/esl/gradient/issues/168.

erszcz commented 1 year ago

Related to #530 and #536

zuiderkwast commented 1 year ago

any() (the dynamic type) is tricky, since we don't know what type this instance of any() represents. It can be anything between none() and top() so we can't really pick a value.

I think the bug needs to be solved in some other way. We shouldn't need to pick a value of type any(). Actually, we can't say that a pattern is non-exhaustive when it comes to any().