diff options
| author | Simon Wülker <simon.wuelker@arcor.de> | 2024-09-16 12:03:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-16 10:03:52 +0000 |
| commit | 7df30f3788a14baa590c9123f5e1616ccfe0a0f0 (patch) | |
| tree | 491bdb4447ec1a24c66d1ad91f7c1678ee71b9e1 /components/script/dom/htmlimageelement.rs | |
| parent | 236cae9ce53019036710032a980966542a64fbce (diff) | |
| download | servo-7df30f3788a14baa590c9123f5e1616ccfe0a0f0.tar.gz servo-7df30f3788a14baa590c9123f5e1616ccfe0a0f0.zip | |
Replace .map_or(false with Option::is_some_and (#33468)
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Diffstat (limited to 'components/script/dom/htmlimageelement.rs')
| -rw-r--r-- | components/script/dom/htmlimageelement.rs | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/components/script/dom/htmlimageelement.rs b/components/script/dom/htmlimageelement.rs index c1830dc247f..47c833b1b90 100644 --- a/components/script/dom/htmlimageelement.rs +++ b/components/script/dom/htmlimageelement.rs @@ -975,7 +975,7 @@ impl HTMLImageElement { let is_parent_picture = elem .upcast::<Node>() .GetParentElement() - .map_or(false, |p| p.is::<HTMLPictureElement>()); + .is_some_and(|p| p.is::<HTMLPictureElement>()); if src_set.is_empty() && !is_parent_picture && !src.is_empty() { selected_source = Some(src.clone()); pixel_density = Some(1_f64); @@ -1295,7 +1295,7 @@ impl HTMLImageElement { let is_parent_picture = elem .upcast::<Node>() .GetParentElement() - .map_or(false, |p| p.is::<HTMLPictureElement>()); + .is_some_and(|p| p.is::<HTMLPictureElement>()); has_src || is_parent_picture } @@ -1405,7 +1405,7 @@ impl HTMLImageElement { .find(|n| { n.upcast::<Element>() .get_name() - .map_or(false, |n| *n == *last) + .is_some_and(|n| *n == *last) }); useMapElements.map(|mapElem| mapElem.get_area_elements()) @@ -1420,9 +1420,7 @@ impl HTMLImageElement { .borrow() .final_url .as_ref() - .map_or(false, |url| { - url.scheme() == "data" || url.origin().same_origin(origin) - }) + .is_some_and(|url| url.scheme() == "data" || url.origin().same_origin(origin)) } } |