Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-30 00:29:14 +01:00
Code Issues Projects Releases Packages Wiki Activity

clippy: Fix manual_map warnings (#31922)

Browse source
This commit is contained in:
Oluwatobi Sofela 2024-03-28 16:58:36 +01:00 • committed by GitHub
parent 5d518ca8dc
commit 7349ce5b6a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 34 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/script/dom/abstractworkerglobalscope.rs
View file

@ -109,10 +109,9 @@ pub fn run_worker_event_loop<T, WorkerMsg, Event>(
+ DomObject,
{
let scope = worker_scope.upcast::<WorkerGlobalScope>();
let devtools_port = match scope.from_devtools_sender() {
Some(_) => Some(scope.from_devtools_receiver()),
None => None,
};
let devtools_port = scope
.from_devtools_sender()
.map(|_| scope.from_devtools_receiver());
let task_queue = worker_scope.task_queue();
let event = select! {
recv(worker_scope.control_receiver()) -> msg => worker_scope.from_control_msg(msg.unwrap()),