Skip to content

devtools: Box the actor inside register#41074

Merged
jdm merged 1 commit intoservo:mainfrom
eerii:devtools-register
Dec 5, 2025
Merged

devtools: Box the actor inside register#41074
jdm merged 1 commit intoservo:mainfrom
eerii:devtools-register

Conversation

@eerii
Copy link
Copy Markdown
Member

@eerii eerii commented Dec 5, 2025

Small refactor to reduce verbosity when creating actors. Since they always need to be boxed, do that in register{_later} instead. I also added the Send trait to Actor directly since it is always needed.

Testing: This patch doesn't change behaviour.

@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Dec 5, 2025
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Dec 5, 2025
@jdm jdm added this pull request to the merge queue Dec 5, 2025
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Dec 5, 2025
Merged via the queue into servo:main with commit 0ce9720 Dec 5, 2025
32 checks passed
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Dec 5, 2025
@eerii eerii deleted the devtools-register branch December 5, 2025 14: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.

3 participants