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/htmlmediaelement.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/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 0f7ac4dfd5c..39afbb7a23d 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -2187,7 +2187,7 @@ impl HTMLMediaElementMethods for HTMLMediaElement { if self .error .get() - .map_or(false, |e| e.Code() == MEDIA_ERR_SRC_NOT_SUPPORTED) + .is_some_and(|e| e.Code() == MEDIA_ERR_SRC_NOT_SUPPORTED) { promise.reject_error(Error::NotSupported); return promise; |