diff options
author | Oluwatobi Sofela <60105594+oluwatobiss@users.noreply.github.com> | 2024-03-28 16:58:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-28 15:58:36 +0000 |
commit | 7349ce5b6a4c522d966f5e79f1b097a82db3a575 (patch) | |
tree | 0f45e60f052a79c56c7967a27b023bf7d795b116 /components/script/dom/htmlmediaelement.rs | |
parent | 5d518ca8dc25157aa19aec3d2dacef21ef0c0294 (diff) | |
download | servo-7349ce5b6a4c522d966f5e79f1b097a82db3a575.tar.gz servo-7349ce5b6a4c522d966f5e79f1b097a82db3a575.zip |
clippy: Fix manual_map warnings (#31922)
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
-rw-r--r-- | components/script/dom/htmlmediaelement.rs | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index ddc798915d1..f0617ef06d1 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1941,10 +1941,12 @@ impl HTMLMediaElement { } pub fn get_current_frame(&self) -> Option<VideoFrame> { - match self.video_renderer.lock().unwrap().current_frame_holder { - Some(ref holder) => Some(holder.get_frame()), - None => None, - } + self.video_renderer + .lock() + .unwrap() + .current_frame_holder + .as_ref() + .map(|holder| holder.get_frame()) } /// By default the audio is rendered through the audio sink automatically @@ -2088,15 +2090,14 @@ impl HTMLMediaElementMethods for HTMLMediaElement { // https://html.spec.whatwg.org/multipage/#dom-media-srcobject fn GetSrcObject(&self) -> Option<MediaStreamOrBlob> { - match *self.src_object.borrow() { - Some(ref src_object) => Some(match src_object { + (*self.src_object.borrow()) + .as_ref() + .map(|src_object| match src_object { SrcObject::Blob(blob) => MediaStreamOrBlob::Blob(DomRoot::from_ref(blob)), SrcObject::MediaStream(stream) => { MediaStreamOrBlob::MediaStream(DomRoot::from_ref(stream)) }, - }), - None => None, - } + }) } // https://html.spec.whatwg.org/multipage/#dom-media-srcobject @@ -2659,10 +2660,10 @@ impl FetchResponseListener for HTMLMediaElementFetchListener { let content_length = if let Some(content_range) = headers.typed_get::<ContentRange>() { content_range.bytes_len() - } else if let Some(content_length) = headers.typed_get::<ContentLength>() { - Some(content_length.0) } else { - None + headers + .typed_get::<ContentLength>() + .map(|content_length| content_length.0) }; // We only set the expected input size if it changes. |