Use ROUTER::add_typed_route instead of ROUTER::add_route everywhere#33866
Merged
mrobinson merged 2 commits intoservo:mainfrom Oct 18, 2024
Merged
Use ROUTER::add_typed_route instead of ROUTER::add_route everywhere#33866mrobinson merged 2 commits intoservo:mainfrom
ROUTER::add_typed_route instead of ROUTER::add_route everywhere#33866mrobinson merged 2 commits intoservo:mainfrom
Conversation
370e26c to
6ce15a4
Compare
3 tasks
4 tasks
6ce15a4 to
c358ff3
Compare
Signed-off-by: Simon Wülker <[email protected]>
Signed-off-by: Simon Wülker <[email protected]>
c358ff3 to
a79f331
Compare
ROUTER::add_typed_route where possibleROUTER::add_typed_route instead of ROUTER::add_route everywhere
|
🔨 Triggering try run (#11399895415) for Linux WPT |
|
Test results for linux-wpt-layout-2020 from try job (#11399895415): Flaky unexpected result (23)
Stable unexpected results that are known to be intermittent (21)
|
|
✨ Try run (#11399895415) succeeded. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This updates the
ipc-channel,webxrandservo-mediadependencies to the latest version and usesROUTER::add_typed_routeto make our routes more typesafe. You can read more aboutROUTER::add_typed_routein servo/ipc-channel#242.This revealed two issues where we accidentally abuse servo/ipc-channel#239, one of which was previously described in #23818.
These were fixed in #33882.
I also made
webxrandwebxr-apiworkspace dependencies, because every crate incomponents/used the same versions anyways, and doing so made it easier to patch them while testing../mach build -ddoes not report any errors./mach test-tidydoes not report any errors