fix: Prevent overlapping associated types impls

[jfecher]

Description

Problem*

Resolves #6811

Summary*

This was fairly straightforward

Additional Context

Documentation*

Check one:

• No documentation needed.
  • feat: Allow associated types to be ellided from trait constraints #7026 already contains the relevant docs changes
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

Execution Memory Report

Program	Peak Memory
keccak256	74.67M
workspace	123.46M
regression_4709	316.00M
ram_blowup_regression	512.61M
rollup-base-public	478.87M
rollup-base-private	325.48M
private-kernel-tail	180.47M
private-kernel-reset	245.16M
private-kernel-inner	208.55M

[github-actions]

Compilation Memory Report

Program	Peak Memory
keccak256	78.13M
workspace	123.89M
regression_4709	424.09M
ram_blowup_regression	1.58G
rollup-base-public	4.85G
rollup-base-private	1.26G
private-kernel-tail	207.18M
private-kernel-reset	669.26M
private-kernel-inner	294.40M

[github-actions]

Compilation Report

Program	Compilation Time	%
sha256_regression	1.166s	-12%
regression_4709	0.715s	-12%
ram_blowup_regression	16.620s	-10%
rollup-root	3.442s	0%
rollup-merge	1.808s	0%
rollup-block-merge	3.496s	3%
rollup-base-public	39.280s	0%
rollup-base-private	12.320s	0%
private-kernel-tail	1.032s	-6%
private-kernel-reset	6.348s	0%
private-kernel-inner	2.230s	7%

[github-actions]

Execution Report

Program	Execution Time	%
sha256_regression	0.050s	-2%
regression_4709	0.001s	0%
ram_blowup_regression	0.555s	-8%
rollup-root	0.104s	0%
rollup-merge	0.006s	0%
rollup-block-merge	0.104s	-1%
rollup-base-public	1.212s	-2%
rollup-base-private	0.450s	-1%
private-kernel-tail	0.019s	0%
private-kernel-reset	0.311s	-1%
private-kernel-inner	0.069s	1%