Skip to content

chore: deduplicate 'double_generic_alias_in_path'#7840

Merged
TomAFrench merged 2 commits intomasterfrom
michaeljklein/deduplicate-empty-generic-alias-test
Mar 28, 2025
Merged

chore: deduplicate 'double_generic_alias_in_path'#7840
TomAFrench merged 2 commits intomasterfrom
michaeljklein/deduplicate-empty-generic-alias-test

Conversation

@michaeljklein
Copy link
Contributor

Description

Problem*

Resolves duplicate / empty test I found while working on #7753

Summary*

Additional Context

Documentation*

Check one:

  • No documentation needed.
  • 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.

@TomAFrench
Copy link
Member

huh, I wonder how that crept in.

@TomAFrench TomAFrench added this pull request to the merge queue Mar 28, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 28, 2025
@TomAFrench TomAFrench added this pull request to the merge queue Mar 28, 2025
Merged via the queue into master with commit e7a159a Mar 28, 2025
111 checks passed
@TomAFrench TomAFrench deleted the michaeljklein/deduplicate-empty-generic-alias-test branch March 28, 2025 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants