Fix types in queue

[gilbertwong96]

As I introduced the WhatsApp/eqwalizer along with the function queue:delete/2 usage in my project, eqwalizer reports the error:

eqWAlizer [incompatible_types]: `Q2`.
Expression has type:   queue:queue(term())
Context expected type: queue:queue(number())

  queue:queue(term()) is not compatible with queue:queue(number())
  because
  term() is not compatible with number()
        See https://fb.me/eqwalizer_errors#incompatible_types

Here is the example:

After I replace the queue:delete/2 with the queue:in/2 in above example, the error report disappears.

I suppose it is caused by the specification of the queue:delete/2:

-spec delete(Item, Q1) -> Q2 when
      Item :: T,
      Q1 :: queue(T),
      Q2 :: queue(T),
      T :: term().

The T should not be specified as term() here.

[github-actions]

CT Test Results

    2 files     89 suites   34m 49s ⏱️
1 929 tests 1 881 ✅ 48 💤 0 ❌
2 223 runs  2 173 ✅ 50 💤 0 ❌

Results for commit 5f45aea.

♻️ 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

[jhogberg]

Hi, thanks for the PR and sorry for the delay in getting back to you!

We're currently working on cleaning up the type language and will send in an EEP for that in the near future (hopefully within a few weeks). This PR is in line with the changes we have in mind and we'd really like to have it, but we need to hold off on merging this until the EEP has been accepted. :-)