kernel: fixes socket.erl type spec

[kikofernandez]

The type specs for socker.erl were improved in PR-8986, but they introduced a bug by omitting one of the overloaded specs. this commit fixes that.

closes #9180

[github-actions]

CT Test Results

    2 files     70 suites   1h 5m 8s ⏱️
1 556 tests 1 308 ✅ 243 💤 5 ❌
1 774 runs  1 493 ✅ 276 💤 5 ❌

For more details on these failures, see this check.

Results for commit 3503e50.

♻️ This comment has been updated with latest results.

To speed up review, make sure that you have read Contributing to Erlang/OTP and that all checks pass.

See the TESTING and DEVELOPMENT HowTo guides for details about how to run test locally.

Artifacts

• Complete CT logs (Download Logs)
• HTML Documentation (Download HTML Docs)
• Windows Installer

// Erlang/OTP Github Action Bot

[garazdawi]

Shouldn't the tests in dialyzer test dialyzer? These tests seem to test socket? I get the need for these types of tests, but I don't think the place to have them is in dialyzer. Instead they should be in kernel in a suite designed for testing specs.

[kikofernandez]

Yes, I think that sounds right. I will see what I can do

[kikofernandez]

For now, we will have to go without the test.
I tried running Dialyzer in some test suites and there are way too many errors to use test suites as the type tests.

This is something we (OTP) will have to look into