Thanks! This is helpful to see how Dialyzer implements it. I wasn’t clear in my message unfortunately - I am interested to see where this could be added to the compiler itself.
Thanks! This is helpful to see how Dialyzer implements it. I wasn’t clear in my message unfortunately - I am interested to see where this could be added to the compiler itself.