Implement a command to dump impls for a given type

[tritao]

This adds a new --dump-impls CLI command that can be used to dump all the recognized trait impls for a given type name.

This also extends the compiler diagnostic system to allow the emission of info diagnostics, as previously we could only emit either warnings of errors, which did not fit this use case.

Description

For example, here is the output of cargo run --bin forc -- build --path _test-case --dump-impls=std::string::String:

And for enums:

Closes #7286.

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
  • If my change requires substantial documentation changes, I have requested support from the DevRel team
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[codspeed-hq]

CodSpeed Performance Report

Merging #7322 will not alter performance

_{Comparing tritao:dump-impls (b73f819) with master (13e4df8)}

Summary

✅ 25 untouched benchmarks

[xunilrj]

Would make sense to use the "trait" or the "impl_for" span instead of the whole declaration? That would always show the start of the impl, and would give more uniform results.

struct B {
       _ Match implementations for this type

impl A for B {
     _ help: trait is A

[tritao]

Would make sense to use the "trait" or the "impl_for" span instead of the whole declaration? That would always show the start of the impl, and would give more uniform results.

Great suggestion, it indeed looks much better, I have updated the implementation and the screenshots in the PR description.

Also improved the implementation to handle enums as previously only structs were supported.

[IGI-111]

Very nice, but we need some tests for this.

Snapshots should do well here.

[tritao]

Very nice, but we need some tests for this.

Snapshots should do well here.

Added some tests.

[IGI-111]

That's a good start on the tests, but this is just the happy path, we should also check whether the impls still get captured:

• when they are in a different file/module
• when they are in a different package altogether

[tritao]

That's a good start on the tests, but this is just the happy path, we should also check whether the impls still get captured:

• when they are in a different file/module
• when they are in a different package altogether

Updated with these.