diff options
| author | Jonathan Schwender <55576758+jschwe@users.noreply.github.com> | 2025-01-15 21:09:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-15 20:09:27 +0000 |
| commit | 8fb715847d4c9b3162a1edc412fd588ca474fa12 (patch) | |
| tree | 62e9fb557fe29843343b4d11f71f9d848d212d0d /components/script/dom/webidls/HTMLMediaElement.webidl | |
| parent | d470f219b1cb80f50bb9050a7649627397f7a5d9 (diff) | |
| download | servo-8fb715847d4c9b3162a1edc412fd588ca474fa12.tar.gz servo-8fb715847d4c9b3162a1edc412fd588ca474fa12.zip | |
Fix build failure with tracing feature (#35009)
* Fix build failure with tracing feature
Skip tracing preferences for now to avoid:
```
error[E0277]: `Preferences` doesn't implement `std::fmt::Debug`
```
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
* Fix warning about unused tracing span.
The tracing span is "used" when it is dropped,
so in that sense it is a false positive.
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
---------
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
Diffstat (limited to 'components/script/dom/webidls/HTMLMediaElement.webidl')
0 files changed, 0 insertions, 0 deletions