aboutsummaryrefslogtreecommitdiffstats
path: root/components/script/dom/htmlmediaelement.rs
diff options
context:
space:
mode:
authorOluwatobi Sofela <60105594+oluwatobiss@users.noreply.github.com>2024-03-28 16:58:36 +0100
committerGitHub <noreply@github.com>2024-03-28 15:58:36 +0000
commit7349ce5b6a4c522d966f5e79f1b097a82db3a575 (patch)
tree0f45e60f052a79c56c7967a27b023bf7d795b116 /components/script/dom/htmlmediaelement.rs
parent5d518ca8dc25157aa19aec3d2dacef21ef0c0294 (diff)
downloadservo-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.rs25
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.