diff options
author | Simon Sapin <simon.sapin@exyr.org> | 2019-09-29 23:11:40 +0200 |
---|---|---|
committer | Simon Sapin <simon.sapin@exyr.org> | 2019-09-29 23:11:40 +0200 |
commit | 47c269360cebba4857433bc2ef4dead70b42a01a (patch) | |
tree | 9351fb3fb7afaab852122b3aec4228c827568e54 /components/script | |
parent | 086e06b28b7722b3e268b846e6c507f1060a2931 (diff) | |
download | servo-47c269360cebba4857433bc2ef4dead70b42a01a.tar.gz servo-47c269360cebba4857433bc2ef4dead70b42a01a.zip |
Remove redundant webidl_must_inherit compiler plugin lint
At first I was considering moving it to a procedural macro
(source-level information should be sufficient),
and started by trying to reproduce the error case
by changing `htmldivelement.rs` to use `Element` instead of `HTMLElement`
as the first field.
The output was:
```rust
error[E0308]: mismatched types
--> /home/simon/servo2/target/debug/build/script-4caa244faca7d10f/out/Bindings/HTMLDivElementBinding.rs:665:31
|
665 | let _: &HTMLElement = self.as_parent();
| ^^^^^^^^^^^^^^^^ expected struct `dom::htmlelement::HTMLElement`, found struct `dom::element::Element`
|
= note: expected type `&dom::htmlelement::HTMLElement`
found type `&dom::element::Element`
```
This line number is inside a generated method called `__assert_parent_type`.
As far as I can tell, any case where this lint would error is already caught
by such methods. The lint is therefore redundant and can safely be removed.
Diffstat (limited to 'components/script')
-rw-r--r-- | components/script/Cargo.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/components/script/Cargo.toml b/components/script/Cargo.toml index 6eec808b8df..5c9fa86e95f 100644 --- a/components/script/Cargo.toml +++ b/components/script/Cargo.toml @@ -16,8 +16,7 @@ path = "lib.rs" debugmozjs = ['js/debugmozjs'] profilemozjs = ['js/profilemozjs'] unrooted_must_root_lint = ["script_plugins/unrooted_must_root_lint"] -webidl_lint = ["script_plugins/webidl_lint"] -default = ["unrooted_must_root_lint", "webidl_lint"] +default = ["unrooted_must_root_lint"] webgl_backtrace = ["backtrace", "canvas_traits/webgl_backtrace"] js_backtrace = ["backtrace"] uwp = ["js/uwp"] |