Skip to content

[derive] Remove unnecessary clones#3449

Merged
joshlf merged 1 commit into
google:mainfrom
FranciscoTGouveia:remove-clones
Jun 8, 2026
Merged

[derive] Remove unnecessary clones#3449
joshlf merged 1 commit into
google:mainfrom
FranciscoTGouveia:remove-clones

Conversation

@FranciscoTGouveia

Copy link
Copy Markdown
Contributor

If I am not overlooking anything, many of these clones can be removed as the receiver's type implements Copy, or can simply be moved.

CC @nunoplopes

@codecov-commenter

codecov-commenter commented Jun 8, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (88536c1) to head (979b6e4).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #3449   +/-   ##
=======================================
  Coverage   91.85%   91.85%           
=======================================
  Files          20       20           
  Lines        6093     6093           
=======================================
  Hits         5597     5597           
  Misses        496      496           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@FranciscoTGouveia

Copy link
Copy Markdown
Contributor Author

Looking at the CI report, I believe this was a spurious failure.

@joshlf

joshlf commented Jun 8, 2026

Copy link
Copy Markdown
Member

Thanks! The CI failure is a bug on our side. I'll fix that first and then land this.

@joshlf joshlf enabled auto-merge June 8, 2026 14:24
@joshlf

joshlf commented Jun 8, 2026

Copy link
Copy Markdown
Member

Once #3452 lands on main, you can rebase and re-push and this should automatically get merged (assuming no other test failures).

@joshlf

joshlf commented Jun 8, 2026

Copy link
Copy Markdown
Member

Looks like I can rebase for you through the web UI, so I did that.

@joshlf joshlf added this pull request to the merge queue Jun 8, 2026
Merged via the queue into google:main with commit 0e29474 Jun 8, 2026
131 checks passed
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.

3 participants