Trait coherence: disallow inherent impls on external types

[tritao]

This improves the trait coherence checks for impl self case, and polishes a bit of the wording on the existing diagnostics.

We now enforce package-level check in impl-self type checking, which means we now reject inherent impls for external nominal types (struct/enum).

There is still is a specialized whitelist for StorageKey so current code that uses this pattern keeps working.

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.

---

Note

Enforces package-level coherence by rejecting inherent impl blocks for external nominal types (with a whitelist for std::storage::StorageKey<_>), adds a dedicated diagnostic, and updates tests and orphan rule wording from module to package.

• Semantic analysis:
  • Disallow inherent impl for external nominal types in type_check_impl_self (sway-core/src/semantic_analysis/ast_node/declaration/impl_trait.rs).
  • Temporary whitelist for std::storage::StorageKey<_>.
  • Emit new error CompileError::InherentImplForExternalType with spans.
• Diagnostics (sway-error/src/error.rs):
  • Add InherentImplForExternalType variant and full diagnostic with hints/help.
  • Change orphan rule wording from "module" to "package" in messages and help.
• Tests:
  • Update failing snapshots and checks to expect package-level wording and the new inherent-impl error.
  • Refactor should_pass/language/generic_transpose to use a new trait OptionTranspose instead of an inherent impl on Option<_>.
  • Adjust impl_self_overlap and orphan rule snapshots accordingly.

^{Written by Cursor Bugbot for commit 308d097. This will update automatically on new commits. Configure here.}

[codspeed-hq]

CodSpeed Performance Report

Merging #7385 will improve performances by 23.51%

_{Comparing tritao:improve-trait-coherence-checks (308d097) with master (be2d6ae)}

Summary

⚡ 1 improvement
✅ 24 untouched

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
⚡	format	474.5 ms	384.2 ms	+23.51%

[tritao]

Rebased due to conflicts.