ERL-1480: Add no_underspecs to -dialyzer(_).

[OTP-Maintainer]

Original reporter: paulo.ferraz.oliveira@gmail.com
Affected version: Not Specified
Component: Not Specified
Migrated from: https://bugs.erlang.org/browse/ERL-1480

---

I'd like it to be possible to suppress `underspecs` in a single function, while having it enabled for all the others.

I ran into an issue (reported here: [https://github.com/tomas-abrahamsson/gpb/issues/196)] whose solution might be this "option".

I see that something similar's been discussed in ERL-1379, already, but it appears it was abandoned.

This is especially useful when (like with `gpb`) our code includes generated code, whose analysis we can't suppress.

[OTP-Maintainer]

paulo.ferraz.oliveira@gmail.com said:

Related pull request opened: https://github.com/erlang/otp/pull/3038.

[OTP-Maintainer]

hasse said:

There is actually an OTP ticket (assigned to me in the current sprint)
that aims at introducing a new option, possibly several new options.
So we did not abandon ERL-1379; it's just that the turn-around time is
long.

I'm currently swamped with other things but hopefully I'll can have a
deeper look into this within a few weeks or so.

[OTP-Maintainer]

paulo.ferraz.oliveira@gmail.com said:

Great. Thanks. I was mislead by the fact that that issue is marked as Resolved. Feel free to reject the pull request.

[uabboli]

As per your suggestion I've added no_underspecs in GH-4517. Considered adding more options, but this is the only one that really adds something, I think.

[paulo-ferraz-oliveira]

Great, thanks. I think we can close this one. I'll try to find time to test it locally.

Note: I find developers of code generators will like it :-) since it'll allow to be as detailed as possible, in some cases, while maintaining a more default strictness, on others.

[paulo-ferraz-oliveira]

Worked flawlessly (tested in a very small code base).